3 Commits

Author	SHA1	Message	Date
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
Gabriel Kaszewski	2a8a5b0c27	perf(kernel): linked cap tree, translate-based page lookup, next-fit frames/heap, targeted dequeue; host benches	2026-10-27 01:33:26 +01:00
Gabriel Kaszewski	8d2c40cb1e	feat(kernel): kernel-owned memory model ... - FrameTable: per-frame owner/use, replaces PagePool + ProcessMemory - Quota per process, page tables charged to owner - Regions for shared mem + device MMIO, torn down w/ owner - Platform: create/destroy AS, map/unmap, zero_frame; drop translate_va - RequestPages/ReleasePages/MapPage(move) checked vs kernel records - user window 0x1000..32MiB, private pts by construction - boot loader + device setup go through kernel api - kernel built in place, boot allocator bounded - isolation tests, randomized invariant test, FrameTable kani proofs - fixes: inflated release, unmapped release, dst va unchecked, heap overflow, unbounded pt alloc, unzeroed frames, double free	2026-10-26 19:40:50 +01:00