Skip to main content

kernel/mem/x86_64/
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 vmm;
7mod vmm_helpers;