starry-kernel 0.10.1

A Linux-compatible OS kernel built on ArceOS unikernel
Documentation

The core functionality of a monolithic kernel, including loading user programs and managing processes.

Published page tables have no external mutable escape hatch. Callers must use the address-space mutation APIs, which own TLB invalidation and deferred reclaim:

fn bypass_mm_owner(aspace: &mut starry_kernel::mm::AddrSpace) {
    let _page_table = aspace.page_table_mut();
}