kernel_loader::elf

Constant ET_CORE

Source 
pub const ET_CORE: u32 = 4;