Crate kernel_api 

Popcorn2 kernel public API

Provides a mix of utility types and functions to replace std, as well as a stable API to kernel internals.

Modules

address_spacefull

Types to manipulate the kernel and userspace address spaces

allocatorfull

Physical and virtual memory allocation

bridge 🔒 full

channelfull

An async multi-producer, single-consumer channel

detectfull

Provides system feature detection

executorfull

mapping

RAII memory mappings

memory

Provides primitives for interfacing with memory

modulesfull

Kernel modules.

ptr

Provides pointer wrappers for safely accessing userspace

sealed 🔒

syncfull

Provides kernel synchronisation primitives

syscallfull

threadingfull

Provides an interface to the scheduler and threading subsystem

timefull

Temporal quantification

Macros

dbg

Prints and returns the value of a given expression for quick and dirty debugging

is_x86_feature_detectedx86 or x86-64

Returns a bool if the current system supports the requested feature

kernel_modulefull

Registers a kernel module with the kernel.

newtype_enum