Module address_space 

Per-process address spaces for Strat9-OS.

Each task owns an AddressSpace backed by a PML4 page table. Kernel tasks share a single kernel address space. User tasks get a fresh PML4 with the kernel half (entries 256..512) cloned from the kernel’s table.

x86_64 virtual address space layout:

• PML4[0..256] → User space (per-process, zeroed for new AS)
• PML4[256..512] → Kernel space (shared, cloned from kernel L4)

Structs

AddressSpace

A per-process address space backed by a PML4 page table.

VirtualMemoryRegion

A tracked virtual memory region within an address space.

VmaFlags

Flags describing permissions for a virtual memory region.

Enums

VmaPageSize

Supported page sizes for VMAs.

VmaType

Type/purpose of a virtual memory region.

Functions

init_kernel_address_space^⚠

Initialize the kernel address space singleton.

kernel_address_space

Get a reference to the kernel address space.