☰
In sel4_common::sel4_config
?
Constant
sel4_common
::
sel4_config
::
KERNEL_ELF_PADDR_BASE
source
·
[
−
]
pub const KERNEL_ELF_PADDR_BASE:
usize
= _; // 2_214_592_512usize