#![no_std]

#[cfg(feature = "production-write")]
compile_error!(
    "K400 production writes are blocked: journal/replay, orphan recovery, failure matrix and release evidence are not complete"
);

pub mod asid;
pub mod bootinfo;
pub mod dtb;
pub mod elf;
pub mod exception;
pub mod handle;
pub mod heap;
pub mod init_exit;
pub mod ipc;
pub mod irq;
pub mod journal;
pub mod journal_disk;
pub mod memory;
pub mod mmu;
pub mod net_arp;
pub mod net_frame;
pub mod net_icmp;
pub mod net_ipv4;
pub mod net_mac;
pub mod net_pool;
pub mod paging;
pub mod process;
pub mod process_copy;
pub mod process_image;
pub mod program_hash;
pub mod serial_console;
pub mod serial_rx;
pub mod serial_tx;
pub mod smp;
pub mod syscall;
pub mod task;
pub mod turkfs;
pub mod user_copy;
pub mod virtio_mmio;
pub mod virtio_ring;
pub mod write_release;

#[cfg(test)]
mod continuation_tests;