Searched defs:kernel (Results 1 - 2 of 2) sorted by relevance
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ | ||
H A D | regressions.c | 334 uint32_t *kernel = (uint32_t *)0xe0000000; local [all...] |
/seL4-test-master/kernel/manual/parts/ | ||
H A D | bootup.tex |
Completed in 43 milliseconds