kernel/arch/mod.rs
1// SPDX-License-Identifier: GPL-3.0-only
2//! Architecture-specific subsystems: GDT, TSS, IDT, and interrupt controllers.
3//!
4//! Authors: MarioS271
5
6#[cfg(target_arch = "x86_64")] mod x86_64;
7#[cfg(target_arch = "x86_64")] pub(crate) use x86_64::*;
8
9#[cfg(target_arch = "aarch64")] mod aarch64;
10#[cfg(target_arch = "aarch64")] pub(crate) use aarch64::*;