sel4_config
0.1.0
In sel4_config::consts
?
Settings
Constant
sel4_config
::
consts
::
BOOT_THREAD_TIME_SLICE
Copy item path
source
·
[
−
]
pub const BOOT_THREAD_TIME_SLICE: &str = "5";