Nothing to see here, move along
1pub mod accessor;
2pub mod boot_untyped;
3pub mod cnode;
4pub mod derivation;
5pub mod frame_table;
6pub mod kernel_objects;
7pub mod object;
8pub mod ops;
9pub mod pool;
10pub mod retype;
11pub mod table;
12
13pub fn init(allocator: &mut crate::mem::phys::BitmapFrameAllocator) {
14 {
15 let mut pool = pool::POOL.lock();
16 pool.init();
17 crate::kprintln!(" Capability pool initialized (direct-address mode)");
18 }
19 kernel_objects::init(allocator);
20}