Crate sel4_runtime_common 

Macros

declare_entrypoint

declare_entrypoint_with_stack_init

declare_stack

Functions

global_init_complete

with_local_init^⚠