Constant kernel_loader::elf::ET_CORE

pub const ET_CORE: u32 = 4;