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

/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Dshoehorn.py175 kernel_size = elf_sift.get_memory_usage(kernel_elf, align=True) variable
176 kernel_end = elf_sift.get_aligned_size(kernel_start + kernel_size)

Completed in 73 milliseconds