13 Commits

Author	SHA1	Message	Date
Gabriel Kaszewski	817a38993b	feat(kernel): WatchDeath + SetTimer events as notification signals; adapter wakes at earliest deadline	2026-10-27 16:06:04 +01:00
Gabriel Kaszewski	a4f467f45d	feat(userspace): log server sole console holder; init boots from manifest; adapter loads only init+storage	2026-10-27 15:40:19 +01:00
Gabriel Kaszewski	4049ba5007	feat(kernel): per-process budgets (pages, endpoints, notifs, regions) carved from creator, returned on death; init owns pool	2026-10-27 15:08:58 +01:00
Gabriel Kaszewski	7415bab7f5	feat(kernel): console cap gates DebugPutchar, no uart fast path; spawn start arg in a0; delegate returns slot	2026-10-27 14:54:36 +01:00
Gabriel Kaszewski	33e1c849d1	feat(kernel): ipc cap transfer drops Delegate; one owner per irq line, freed when owner dies	2026-10-27 14:42:28 +01:00
Gabriel Kaszewski	694c675a40	feat: devices via caps (BootInfo, init assigns devices, drivers map MMIO/DMA themselves, IRQ-driven input); drop boot device wiring and info pages; headless display fallback	2026-10-27 12:28:39 +01:00
Gabriel Kaszewski	2e665fd66e	feat: SMP stage 1 (4 harts, per-hart guarded stacks, home-core affinity, IPIs, TLB shootdown, one temporary kernel lock), 4-core storm	2026-10-27 00:56:15 +01:00
Gabriel Kaszewski	b87a62475f	feat(adapter): higher-half kernel (linked at PHYS_OFFSET, boot trampoline, no low mappings), fix SBI ecall clobbers	2026-10-27 00:25:20 +01:00
Gabriel Kaszewski	55758ae5b2	feat: kernel W^X (per-section perms, firmware unmapped, stack guard, boot check), halt on kernel faults, region W^X across processes	2026-10-27 00:13:00 +01:00
Gabriel Kaszewski	bafc18a5f8	feat(kernel): SystemControl cap for halt, board device table + boot caps to init, RegionAddress syscall, idle loop services irqs	2026-10-26 23:59:57 +01:00
Gabriel Kaszewski	154599e3af	feat(kernel): derivation-tree revocation, region caps ... - caps record parent (mint/delegate/ipc), CapRef w/ pid+slot gens - Revoke = delete subtree, keep self; drop/death re-parents children - CreateRegion/MapRegion; mapping lives only as long as its cap - drop Permission::Revoke + object-wide revoke - mint any cap (badge only ep/ntfn), process caps delegable - kani: descendants == subtree; model-based fuzz vs spec	2026-10-26 20:41:03 +01:00
Gabriel Kaszewski	76f10ff1f1	feat(kernel): seL4-style IPC, notifications, status ABI ... - badges + Mint, Call/Reply/ReplyRecv w/ gen-checked reply slot - cap transfer (1/msg, copy, needs Delegate, rechecked at delivery) - notifications: signal/wait/poll/bind, irq -> notification routing - WaitAny/WaitForInterrupt removed; a0=status, ErrorCode - libkos: single ecall primitive, compat wrappers + typed new api - fix: trap return clobbered user t0 on every trap - fix: wait queues FIFO, delegate keeps badge, fault cap checked - docs/ipc.md spec, ipc tests, ipc fuzz, kani ntfn + waitqueue	2026-10-26 20:27:38 +01:00
Gabriel Kaszewski	450d74d07f	docs: add ADAPTERS.md with adapter structure, rules, and scaffolding guide	2026-10-18 02:09:56 +02:00