A Rust-based userland which also adds compile-time assurances to seL4 development.

Rust version of THU uCore OS. Linux compatible.

The seL4 microkernel

RISC-V Instruction Set Manual

code for examining determinism of performance counters

libperf is a library that wraps around the syscall perf_event_open(). This library exposes the kernel performance counters subsystem to userspace code. It can be used to efficiently trace portions …