Searched refs:help (Results 1 - 16 of 16) sorted by relevance
| /seL4-mcs-10.1.1/libsel4/tools/ |
| H A D | invocation_header_gen.py | 166 help='Name of xml file with invocation definitions', required=True)
168 help='Name of file to create', required=True)
170 help='Is this being generated for libsel4?')
173 help='Is this being generated for the arch layer?')
175 help='Is this being generated for the seL4 arch layer?')
|
| H A D | syscall_header_gen.py | 146 help='Name of xml file with syscall name definitions', required=True)
148 help='Name of file to generate for kernel')
150 help='Name of file to generate for libsel4')
|
| H A D | syscall_stub_gen.py | 37 # object's size wrong, which should help mitigate the number of bugs caused
1001 help="Output file to write stub to. (default: %(default)s).")
1003 help="Use IPC buffer exclusively, i.e. do not pass syscall arguments by registers. (default: %(default)s)")
1005 help="Architecture to generate stubs for.")
1009 help="Word size(in bits), for the platform.")
1011 help="Config file for Kbuild, used to get Word size.")
1014 help="Input XML files.")
|
| H A D | bitfield_gen.py | 2597 help="Location of the 'cspec' directory containing 'KernelState_C'.") variable
2599 help="Path that the output theory files will be located in.") variable
|
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
| H A D | invocation_header_gen.py | 166 help='Name of xml file with invocation definitions', required=True)
168 help='Name of file to create', required=True)
170 help='Is this being generated for libsel4?')
173 help='Is this being generated for the arch layer?')
175 help='Is this being generated for the seL4 arch layer?')
|
| H A D | syscall_header_gen.py | 146 help='Name of xml file with syscall name definitions', required=True)
148 help='Name of file to generate for kernel')
150 help='Name of file to generate for libsel4')
|
| H A D | syscall_stub_gen.py | 37 # object's size wrong, which should help mitigate the number of bugs caused
1001 help="Output file to write stub to. (default: %(default)s).")
1003 help="Use IPC buffer exclusively, i.e. do not pass syscall arguments by registers. (default: %(default)s)")
1005 help="Architecture to generate stubs for.")
1009 help="Word size(in bits), for the platform.")
1011 help="Config file for Kbuild, used to get Word size.")
1014 help="Input XML files.")
|
| H A D | bitfield_gen.py | 2597 help="Location of the 'cspec' directory containing 'KernelState_C'.") variable
2599 help="Path that the output theory files will be located in.") variable
|
| /seL4-mcs-10.1.1/tools/ |
| H A D | invocation_header_gen.py | 166 help='Name of xml file with invocation definitions', required=True)
168 help='Name of file to create', required=True)
170 help='Is this being generated for libsel4?')
173 help='Is this being generated for the arch layer?')
175 help='Is this being generated for the seL4 arch layer?')
|
| H A D | syscall_header_gen.py | 146 help='Name of xml file with syscall name definitions', required=True)
148 help='Name of file to generate for kernel')
150 help='Name of file to generate for libsel4')
|
| H A D | circular_includes.py | 74 help="Files to ignore when parsing the sel4 source") variable
|
| H A D | reciprocal.py | 43 parser.add_argument("--divisor", type=int,required=True,help="Devisor to calculate magic numbers for")
|
| H A D | bitfield_gen.py | 2597 help="Location of the 'cspec' directory containing 'KernelState_C'.") variable
2599 help="Path that the output theory files will be located in.") variable
|
| /seL4-mcs-10.1.1/manual/tools/ |
| H A D | gen_invocations.py | 112 help="Output file to write stub to. (default: %(default)s).")
114 help="Input XML files.")
117 help="DTD xml schema to validate input files against")
|
| H A D | parse_doxygen_xml.py | 546 default="latex", help="Format of doxygen output")
549 help="File containing doxygen-generated xml.")
551 help="Output latex file.")
554 help="Level for each method, 0 = top level")
|
| /seL4-mcs-10.1.1/manual/ |
| H A D | Makefile | 239 help:
|
Completed in 72 milliseconds