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

/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Delf_sift.py37 elf = elftools.elf.elffile.ELFFile(elf_file)
/seL4-camkes-master/projects/capdl/cdl_utils/
H A Duntyped_gen.py16 from elftools.elf.elffile import ELFFile namespace
125 kernel_elf = ELFFile(args.kernel_elf)
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DELF.py16 from elftools.elf.elffile import ELFFile namespace
52 self._elf = ELFFile(f)

Completed in 33 milliseconds