Searched refs:kernel_elf (Results 1 - 5 of 5) sorted by relevance

/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
301 if (kernel_elf == NULL) {
305 if (elf_checkFile(kernel_elf)) {
310 elf_getMemoryBounds(kernel_elf, 1, &kernel_phys_start, &kernel_phys_end);
366 load_elf("kernel", kernel_elf,
/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
301 if (kernel_elf == NULL) {
305 if (elf_checkFile(kernel_elf)) {
310 elf_getMemoryBounds(kernel_elf, 1, &kernel_phys_start, &kernel_phys_end);
366 load_elf("kernel", kernel_elf,
/seL4-refos-master/seL4_tools/cmake-tool/helpers/
H A Dshoehorn.py152 kernel_elf = get_bytes(entry) variable
175 kernel_size = elf_sift.get_memory_usage(kernel_elf, align=True)
/seL4-refos-master/projects/refos/impl/
H A DMakefile51 common elfloader kernel_elf
/seL4-refos-master/
H A DMakefile51 common elfloader kernel_elf

Completed in 44 milliseconds