|
|
192631d506
|
feat(kernel): implement generation-based capability revocation with proofs and tests
|
2026-10-18 01:11:24 +02:00 |
|
|
|
71518a93a4
|
refactor(proofs): split into per-topic modules with shared helpers across types, domain, and kernel
|
2026-10-18 01:08:05 +02:00 |
|
|
|
1278373142
|
fix: fix mut binding and unused import warnings in Kani proofs
|
2026-10-18 00:57:33 +02:00 |
|
|
|
471d96b9a4
|
feat(kernel): add RequestPages and ReleasePages syscalls
|
2026-10-18 00:19:24 +02:00 |
|
|
|
d0a0ba788f
|
feat(kernel): add Kernel struct, MockPlatform, and simple syscalls (GetTime, GetProcessId, Yield)
|
2026-10-18 00:15:40 +02:00 |
|
|
|
ed80fc43a6
|
feat(domain): add memory module with page pool, per-process tracking, and region table
|
2026-10-17 23:45:17 +02:00 |
|
|
|
06b51b6712
|
Implement domain and endpoint modules with capability management, message passing, and scheduling features
|
2026-10-17 23:09:21 +02:00 |
|
|
|
bb99c3001d
|
init
|
2026-10-16 02:32:24 +02:00 |
|
