pub const OBJ_KERNEL_HANDLE: u32 = 512; // 512u32