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

/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Dshoehorn.py152 kernel_elf = get_bytes(entry) variable
/seL4-camkes-master/tools/seL4/elfloader-tool/src/
H A Dcommon.c300 void *kernel_elf = cpio_get_file(_archive_start, cpio_len, "kernel.elf", &kernel_filesize); local
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dguest_image.c222 elf_t kernel_elf; local
[all...]

Completed in 126 milliseconds