Gabriel Kaszewski 142505d8a4 feat: add SavedContext::with_entry_and_stack, wire SpawnThread to preserve entry point and stack

2026-10-18 01:24:56 +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

feat(kernel): implement generation-based capability revocation with proofs and tests

2026-10-18 01:11:24 +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): fix kill wait-queue cleanup, RegionId tracking, ReleasePages ownership, and SwitchTo scheduler state

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

thread

feat: add SavedContext::with_entry_and_stack, wire SpawnThread to preserve entry point and stack

2026-10-18 01:24:56 +02:00

error.rs

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

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

fault.rs

Implement domain and endpoint modules with capability management, message passing, and scheduling features

2026-10-17 23:09:21 +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(kernel): add Revoke syscall for generation-based capability revocation

2026-10-18 01:23:24 +02:00