[package]
name = "kernel-arch-aarch64"
version = "0.1.0"
edition = "2021"

[dependencies]
yggdrasil-abi.workspace = true
kernel-arch-interface.workspace = true
libk-mm-interface.workspace = true
memtables.workspace = true
device-api = { workspace = true, features = ["derive"] }

bitflags.workspace = true
static_assertions.workspace = true
aarch64-cpu.workspace = true
tock-registers.workspace = true

[build-dependencies]
cc = "1.0"

[features]
default = []
aarch64_board_virt = []
aarch64_board_raspi4b = []

[lints]
workspace = true