starry-kernel 0.9.0

A Linux-compatible OS kernel built on ArceOS unikernel
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

//! 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:
//!
//! ```compile_fail
//! fn bypass_mm_owner(aspace: &mut starry_kernel::mm::AddrSpace) {
//!     let _page_table = aspace.page_table_mut();
//! }
//! ```

#![no_std]
#![cfg_attr(not(axtest), feature(likely_unlikely))]
#![cfg_attr(not(axtest), feature(allocator_api))]
#![allow(missing_docs)]
#![allow(clippy::not_unsafe_ptr_arg_deref)]

// The freestanding axtest target includes `root.rs` directly so that module-local
// tests and kernel entry symbols are emitted exactly once. Keep Cargo's implicit
// library dependency empty for that target; linking a second kernel instance
// would duplicate trap handlers, allocators, and runtime state.
#[cfg(not(axtest))]
include!("root.rs");