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

/seL4-test-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-test-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-test-master/tools/nanopb/generator/
H A Dnanopb_generator.py1655 help="Exclude file from generated #include list.") variable
1657 help="Set extension to use instead of '.pb' for generated files. [default: %default]") variable
1659 help="Set extension to use for generated header files. [default: %default]") variable
1661 help="Set extension to use for generated source files. [default: %default]") variable
1663 help="Set name of a separate generator options file.") variable
1666 help="Search for .options files additionally in this path") variable
1669 help="Output directory of .pb.h and .pb.c files") variable
1672 help="Set format string to use for including other .pb.h files. [default: %default]") variable
1675 help="Set format string to use for including the nanopb pb.h header. [default: %default]") variable
1677 help variable
1679 help="Opposite of --strip-path (default since 0.4.0)") variable
1681 help="Generate C++ descriptors to lookup by type (e.g. pb_field_t for a message)") variable
1683 help="Don't add timestamp to .pb.h and .pb.c preambles (default since 0.4.0)") variable
1685 help="Add timestamp to .pb.h and .pb.c preambles") variable
1687 help="Don't print anything except errors.") variable
1689 help="Print more information.") variable
1691 help="Set generator option (max_size, max_count etc.).") variable
[all...]
/seL4-test-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-test-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 122 milliseconds