Searched defs:boot_loader (Results 1 - 2 of 2) sorted by relevance
/seL4-test-master/tools/riscv-pk/bbl/ | ||
H A D | bbl.c | 115 void boot_loader(uintptr_t dtb) function |
/seL4-test-master/tools/riscv-pk/pk/ | ||
H A D | pk.c | 163 void boot_loader(uintptr_t dtb) function |
Completed in 25 milliseconds