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

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

..

src

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

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

Cargo.toml

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

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