| /seL4-test-master/kernel/tools/hardware/outputs/ |
| H A D | elfloader.py | 177 parser.add_argument('--elfloader-out', help='output file for elfloader header',
|
| H A D | c_header.py | 186 parser.add_argument('--header-out', help='output file for c header',
|
| /seL4-test-master/kernel/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 31 # object's size wrong, which should help mitigate the number of bugs caused
1047 help="Output file to write stub to. (default: %(default)s).")
1049 help="Use IPC buffer exclusively, i.e. do not pass syscall arguments by registers. (default: %(default)s)")
1051 help="Architecture to generate stubs for.")
1053 help="Generate MCS api.")
1057 help="Word size(in bits), for the platform.")
1059 help="Config file for Kbuild, used to get Word size.")
1062 help="Input XML files.")
|
| H A D | bitfield_gen.py | 2677 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 D | syscall_stub_gen.py | 31 # object's size wrong, which should help mitigate the number of bugs caused
1047 help="Output file to write stub to. (default: %(default)s).")
1049 help="Use IPC buffer exclusively, i.e. do not pass syscall arguments by registers. (default: %(default)s)")
1051 help="Architecture to generate stubs for.")
1053 help="Generate MCS api.")
1057 help="Word size(in bits), for the platform.")
1059 help="Config file for Kbuild, used to get Word size.")
1062 help="Input XML files.")
|
| H A D | bitfield_gen.py | 2677 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/nanopb/generator/ |
| H A D | nanopb_generator.py | 1655 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/ |
| H A D | parse_doxygen_xml.py | 543 default="latex", help="Format of doxygen output")
546 help="File containing doxygen-generated xml.")
548 help="Output latex file.")
551 help="Level for each method, 0 = top level")
|
| /seL4-test-master/tools/riscv-pk/scripts/ |
| H A D | install-sh | 113 --help display this help and exit.
142 --help) echo "$usage"; exit $?;;
|
| H A D | config.sub | 61 -h, --help print this help, then exit
75 help="
76 Try \`$me --help' for more information."
85 --help | --h* | -h )
92 echo "$me: invalid option $1$help"
106 0) echo "$me: missing argument$help" >&2
109 *) echo "$me: too many arguments$help" >&2
|
| H A D | config.guess | 43 -h, --help print this help, then exit
58 help="
59 Try \`$me --help' for more information."
68 --help | --h* | -h )
75 echo "$me: invalid option $1$help" >&2
83 echo "$me: too many arguments$help" >&2
|
| /seL4-test-master/kernel/manual/ |
| H A D | Makefile | 242 help:
|
| /seL4-test-master/tools/riscv-pk/ |
| H A D | configure | 859 -help | --help | --hel | --he | -h)
861 -help=r* | --help=r* | --hel=r* | --he=r* | -hr*)
863 -help=s* | --help=s* | --hel=s* | --he=s* | -hs*)
1094 Try \`$0 --help' for more information"
1242 # Report the --help message.
1258 -h, --help display this help an
[all...] |
| /seL4-test-master/projects/musllibc/ |
| H A D | configure | 147 --help|-h) usage ;;
|
| /seL4-test-master/kernel/tools/ |
| H A D | bitfield_gen.py | 2677 help="Location of the 'cspec' directory containing 'KernelState_C'.") variable
2679 help="Path that the output theory files will be located in.") variable
|