Searched defs:help (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/projects/picotcp/test/
H A Dvde_sock_start_user.sh2 function help(){ function
/seL4-camkes-master/kernel/tools/
H A Dcircular_includes.py71 help="Files to ignore when parsing the sel4 source") variable
H A Dbitfield_gen.py2677 help="Location of the 'cspec' directory containing 'KernelState_C'.") variable
2679 help="Path that the output theory files will be located in.") variable
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Delf_sift.py72 help='ELF object file to examine') variable
74 help='align to 4KiB between files') variable
H A Dplatform_sift.py246 help='YAML description of platform parameters') variable
248 help='emit C syntax instead of human-readable output') variable
251 help='desired C identifier for struct array') variable
254 help='desired C identifier for length of struct array') variable
257 help='desired C identifier for structure tag') variable
H A Dshoehorn.py127 help='assume ELF-loader will put rootservers at top of' variable
130 help='YAML description of platform parameters (e.g.,' variable
133 help='ELF-loader image file (e.g., archive.o)') variable
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py2677 help="Location of the 'cspec' directory containing 'KernelState_C'.") variable
2679 help="Path that the output theory files will be located in.") variable
/seL4-camkes-master/kernel/libsel4/tools/
H A Dbitfield_gen.py2677 help="Location of the 'cspec' directory containing 'KernelState_C'.") variable
2679 help="Path that the output theory files will be located in.") variable

Completed in 78 milliseconds