Skip to main content

kernel/arch/x86_64/mm/vmm/
mod.rs

1// SPDX-License-Identifier: GPL-3.0-only
2//! x86_64 memory backend: four-level page table VMM and helper utilities.
3//!
4//! Authors: MarioS271
5
6pub(crate) mod paging;
7pub(crate) mod page_type;