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

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

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