5 Commits

Author	SHA1	Message	Date
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	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