pub const BOOT_CORE_ID: u64 = 0;