Gabriel Kaszewski cbabe2abfe cleanup: replace magic 1024 page limit with ProcessMemory::DEFAULT_PAGE_LIMIT

2026-10-18 22:43:18 +02:00

..

capability

feat(kernel): add Kernel struct, MockPlatform, and simple syscalls (GetTime, GetProcessId, Yield)

2026-10-18 00:15:40 +02:00

endpoint

fix(kernel): fix kill wait-queue cleanup, RegionId tracking, ReleasePages ownership, and SwitchTo scheduler state

2026-10-18 00:31:05 +02:00

irq

refactor(domain): move irq tests to separate file, fix MemoryRegion import in platform

2026-10-17 23:54:16 +02:00

memory

cleanup: replace magic 1024 page limit with ProcessMemory::DEFAULT_PAGE_LIMIT

2026-10-18 22:43:18 +02:00

message

feat(domain): add Message constructor, accessors, and builder

2026-10-17 23:36:44 +02:00

process

feat(domain): add ProcessTable with create, get, and destroy

2026-10-17 23:27:28 +02:00

proofs

refactor(proofs): split into per-topic modules with shared helpers across types, domain, and kernel

2026-10-18 01:08:05 +02:00

scheduler

fix: kernel hardening pass 2 — page tracking, queue overflow, region tracking

2026-10-18 22:31:16 +02:00

thread

feat: implement context switching, SavedContext with pc/status fields, wire all syscall outcomes and timer preemption

2026-10-18 02:34:36 +02:00

error.rs

feat(domain): add EndpointTable, IrqRoutingTable, and remaining error variants

2026-10-17 23:51:56 +02:00

fault.rs

feat: add Halt syscall, fault notification to fault handler, supervisor with back-off, shutdown with timeout

2026-10-18 03:29:05 +02:00

lib.rs

feat: add Kani proofs for delegation non-escalation across types, domain, and kernel

2026-10-18 00:55:52 +02:00

resource.rs

feat(domain): add memory module with page pool, per-process tracking, and region table

2026-10-17 23:45:17 +02:00

syscall.rs

feat: proper IPC-based boot — init loads servers from storage via IPC, VirtIO GPU driver

2026-10-18 13:02:30 +02:00