Module types 

General Kernel Types like PackedU8 or FmtBuffer

Authors: MarioS271

Modules

aligned_stack 🔒

16-byte-aligned stack storage, used for things like x86_64 IST stacks

boot_info 🔒

Boot Info Struct (and all necessary types for it), used to call kernel_main

fmt_buffer 🔒

Fixed-capacity formatting buffer for no-alloc contexts

packed_u8 🔒

Packed u8; store multiple values shorter than 8 bits in one byte

user_slice 🔒

Untrusted userspace slice