pub mod accessor;
pub mod boot_untyped;
pub mod cnode;
pub mod derivation;
pub mod frame_table;
pub mod kernel_objects;
pub mod object;
pub mod ops;
pub mod pool;
pub mod retype;
pub mod table;

pub fn init(allocator: &mut crate::mem::phys::BitmapFrameAllocator) {
    {
        let mut pool = pool::POOL.lock();
        pool.init();
        crate::kprintln!("  Capability pool initialized (direct-address mode)");
    }
    kernel_objects::init(allocator);
}