Constant DEFAULT_KERNEL_IMAGE 

pub const DEFAULT_KERNEL_IMAGE: &str = "test_elf.bin";