Home
last modified time | relevance | path

Searched refs:help (Results 1 – 19 of 19) sorted by relevance

/seL4-master/tools/
A Dhardware_gen.py45 group.add_argument('--' + name, help=task.__doc__.strip(), action='store_true')
70 parser.add_argument('--dtb', help='device tree blob to parse for generation',
72 …parser.add_argument('--hardware-config', help='YAML file containing configuration for kernel devic…
74 parser.add_argument('--hardware-schema', help='YAML file containing schema for hardware config',
76 parser.add_argument('--arch', help='architecture to generate for', default='arm')
78 … help='maximum address that is available as device untyped', type=int, default=32)
80 parser.add_argument('--enable-profiling', help='enable profiling',
A Dinvocation_header_gen.py147 help='Name of xml file with invocation definitions', required=True)
149 help='Name of file to create', required=True)
151 help='Is this being generated for libsel4?')
154 help='Is this being generated for the arch layer?')
156 help='Is this being generated for the seL4 arch layer?')
A Dsyscall_header_gen.py131 help='Name of xml file with syscall name definitions', required=True)
133 help='Name of file to generate for kernel')
135 help='Name of file to generate for libsel4')
137 help='Generate MCS api')
A Dcircular_includes.py71 help="Files to ignore when parsing the sel4 source")
A Dreciprocal.py43 help="Devisor to calculate magic numbers for")
A Dbitfield_gen.py2677 help="Location of the 'cspec' directory containing 'KernelState_C'.")
2679 help="Path that the output theory files will be located in.")
/seL4-master/libsel4/tools/
A Dinvocation_header_gen.py147 help='Name of xml file with invocation definitions', required=True)
149 help='Name of file to create', required=True)
151 help='Is this being generated for libsel4?')
154 help='Is this being generated for the arch layer?')
156 help='Is this being generated for the seL4 arch layer?')
A Dsyscall_header_gen.py131 help='Name of xml file with syscall name definitions', required=True)
133 help='Name of file to generate for kernel')
135 help='Name of file to generate for libsel4')
137 help='Generate MCS api')
A Dsyscall_stub_gen.py1058 help="Output file to write stub to. (default: %(default)s).")
1060 …help="Use IPC buffer exclusively, i.e. do not pass syscall arguments by registers. (default: %(def…
1062 help="Architecture to generate stubs for.")
1064 help="Generate MCS api.")
1068 help="Word size(in bits), for the platform.")
1070 help="Config file for Kbuild, used to get Word size.")
1073 help="Input XML files.")
A Dbitfield_gen.py2677 help="Location of the 'cspec' directory containing 'KernelState_C'.")
2679 help="Path that the output theory files will be located in.")
/seL4-master/manual/tools/
A Dgen_invocations.py111 help="Output file to write stub to. (default: %(default)s).")
113 help="Input XML files.")
116 help="DTD xml schema to validate input files against")
A Dparse_doxygen_xml.py629 default="latex", help="Format of doxygen output")
632 help="File containing doxygen-generated xml.")
634 help="Output latex file.")
637 help="Level for each method, 0 = top level")
/seL4-master/tools/hardware/outputs/
A Dcompat_strings.py30 help='output file for compat strings list', type=argparse.FileType('w'))
A Dyaml.py68 parser.add_argument('--yaml-out', help='output file for memory yaml',
A Delfloader.py177 parser.add_argument('--elfloader-out', help='output file for elfloader header',
A Dc_header.py220 parser.add_argument('--header-out', help='output file for c header',
/seL4-master/manual/
A DMakefile242 help: target
A DDoxyfile1164 # to YES can help to show when doxygen was last run and thus if the
1244 # files are now used as the Windows 98 help format, and will replace the old
1262 # including file name) of the HTML help compiler (hhc.exe). If non-empty,
1263 # doxygen will try to run the HTML help compiler on the generated index.hhp.
1291 # the table of contents of the HTML help documentation and to the tree view.
1362 # install this plugin and make it available under the help contents menu in
1366 # After copying Eclipse needs to be restarted before the help appears.
1503 # should work on any modern browser. Note that when using HTML help
1504 # (GENERATE_HTMLHELP), Qt help (GENERATE_QHP), or docsets (GENERATE_DOCSET)
1623 # documents. This may be useful for small projects and may help to save some
[all …]
/seL4-master/
A Dgdb-macros39 Type help <command> for more information on a specific command

Completed in 39 milliseconds