[package]
name = "vernos_kernel"
version = "0.1.0"
edition = "2021"

[lib]
crate-type = ["staticlib"]

[dependencies]
allocator-api2 = { version = "0.2.18", default-features = false, features = ["alloc"] }
bitflags = { version = "2.6.0", default-features = false }
cfg-if = { version = "1.0.0", default-features = false }
contracts = { version = "0.6.3", default-features = false }
either = { version = "1.13.0", default-features = false }
log = { version = "0.4.20", default-features = false }
spin = { version = "0.9.8", default-features = false, features = ["fair_mutex", "use_ticket_mutex"] }
static_assertions = { version = "1.1.0", default-features = false }
vernos_alloc_buddy = { path = "../alloc_buddy" }
vernos_alloc_genmalloc = { path = "../alloc_genmalloc" }
vernos_alloc_physmem_free_list = { path = "../alloc_physmem_free_list" }
vernos_alloc_vma_tree = { path = "../alloc_vma_tree" }
vernos_device_tree = { path = "../device_tree" }
vernos_driver_riscv_timer = { path = "../driver_riscv_timer" }
vernos_utils = { path = "../utils" }
void = { version = "1.0.2", default-features = false }