Searched defs:initial (Results 1 - 4 of 4) sorted by relevance

/seL4-mcs-10.1.1/manual/parts/
H A Dbootup.tex[all...]
/seL4-mcs-10.1.1/src/arch/arm/kernel/
H A Dboot.c505 tcb_t *initial = create_initial_thread( local
/seL4-mcs-10.1.1/src/arch/riscv/kernel/
H A Dboot.c351 tcb_t *initial = create_initial_thread( local
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot.c464 tcb_t *initial = create_initial_thread(root_cnode_cap, local

Completed in 43 milliseconds