Gabriel Kaszewski a2d4a7d085 perf(kernel): kernel static all-zero -> .bss (image 812K -> 173K): domain::Slot (repr(u8) Empty=0) for tables, zero generation counters, core ids by position, pool/platform installed at boot; Option-backed Slot under kani (cbmc speed); build fails if .data > 16K

2026-10-28 13:01:52 +01:00

..

ipc

perf(kernel): kernel static all-zero -> .bss (image 812K -> 173K): domain::Slot (repr(u8) Empty=0) for tables, zero generation counters, core ids by position, pool/platform installed at boot; Option-backed Slot under kani (cbmc speed); build fails if .data > 16K

2026-10-28 13:01:52 +01:00

capability.rs

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

fault.rs

feat(kernel): seL4-style IPC, notifications, status ABI

2026-10-26 20:27:38 +01:00

lifecycle.rs

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

memory.rs

refactor: unsafe only in adapter + libkos; forbid(unsafe_code) everywhere else; libkos Window (volatile, bounds-checked MMIO/DMA/shared mem), entry!, thread::spawn; MapRegion returns pages; kernel const-built (with_cores/install_platform); newtype addrs

2026-10-27 21:43:24 +01:00

mod.rs

feat(ipc): saved replies: SaveReply/ReplySaved (8 per thread, released on thread death, unforgeable); terminal READ saved until Enter (line.rs editor, reader queue), now pinged

2026-10-28 02:09:34 +01:00

simple.rs

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