kernel_BOOT [open]