570fe22bee
feat: userspace round-trip — syscall stubs, ecall dispatch, U-mode entry and exit on QEMU
2026-10-18 02:15:35 +02:00
d327794d33
refactor(adapter-riscv): restructure into hw/, mmu/, trap/ modules with board constants
...
Add Priority::DEFAULT and TimeSlice::DEFAULT to types crate.
All QEMU virt addresses consolidated in board.rs.
Structure mirrors future adapter-arm/ layout.
2026-10-18 02:05:57 +02:00
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
