Searched defs:kernel_elf (Results 1 - 3 of 3) sorted by relevance

/seL4-refos-master/seL4_tools/cmake-tool/helpers/
H A Dshoehorn.py152 kernel_elf = get_bytes(entry) variable
/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Dcommon.c300 void *kernel_elf = cpio_get_file(_archive_start, cpio_len, "kernel.elf", &kernel_filesize); local
/seL4-refos-master/tools/elfloader/src/
H A Dcommon.c300 void *kernel_elf = cpio_get_file(_archive_start, cpio_len, "kernel.elf", &kernel_filesize); local

Completed in 51 milliseconds