//! @namespace arch::boot
//! The %x86_64 implementation of teachos::boot
//!
//! This namespace contains %x86_64 specific implementations of and extensions to the teachos::boot namespace.

//! @namespace arch::cpu
//! The %x86_64 implementation of teachos::cpu
//!
//! This namespace contains %x86_64 specific implementations of and extensions to the teachos::cpu namespace.

//! @namespace arch::memory
//! The %x86_64 implementation of teachos::memory
//!
//! This namespace contains %x86_64 specific implementations of and extensions to the teachos::memory namespace.