Gabriel Kaszewski 5c29c0845d refactor: move Mapping<F> to types crate with VirtualAddress/PhysicalAddress newtypes, rename MapFlags to Sv39Flags

2026-10-18 02:45:53 +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

address.rs

feat(kernel): add RequestPages and ReleasePages syscalls

2026-10-18 00:19:24 +02:00

bounded.rs

refactor(adapter-riscv): restructure into hw/, mmu/, trap/ modules with board constants

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

generation.rs

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

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

id.rs

init

2026-10-16 02:32:24 +02:00

lib.rs

refactor: move Mapping<F> to types crate with VirtualAddress/PhysicalAddress newtypes, rename MapFlags to Sv39Flags

2026-10-18 02:45:53 +02:00

macros.rs

init

2026-10-16 02:32:24 +02:00

mapping.rs

refactor: move Mapping<F> to types crate with VirtualAddress/PhysicalAddress newtypes, rename MapFlags to Sv39Flags

2026-10-18 02:45:53 +02:00

permission.rs

feat(adapter-riscv): replace static mut with KernelCell, complete all 17 syscall decoders, wire timer and PLIC interrupts to kernel

2026-10-18 02:29:46 +02:00

syscall_abi.rs

feat: userspace round-trip — syscall stubs, ecall dispatch, U-mode entry and exit on QEMU

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

time.rs

refactor(adapter-riscv): restructure into hw/, mmu/, trap/ modules with board constants

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