Searched refs:help (Results 1 - 25 of 59) sorted by relevance

123

/seL4-refos-master/projects/refos/impl/docs/
H A DMakefile22 help:
26 @echo 'make help - Display this help message.'
/seL4-refos-master/docs/
H A DMakefile22 help:
26 @echo 'make help - Display this help message.'
/seL4-refos-master/seL4_tools/cmake-tool/simulate_scripts/
H A Dsimulate.py17 help="QEMU binary", default="@QEMU_SIM_BINARY@")
19 help="Tell QEMU to wait for gdb on port 1234")
21 help="QEMU Machine", default="@QEMU_SIM_MACHINE@")
23 help="QEMU CPU", default="@QEMU_SIM_CPU@")
25 help="QEMU CPU Options", default="@QEMU_SIM_CPU_OPT@")
27 help="QEMU Graphic Options", default="@QEMU_SIM_GRAPHIC_OPT@")
29 help="QEMU Serial Options", default="@QEMU_SIM_SERIAL_OPT@")
31 help="QEMU Memory Size Option", default="@QEMU_SIM_MEM_SIZE_OPT@")
33 help="Arguments to pass onto QEMU", default="@QEMU_SIM_ARGS@")
35 help
[all...]
H A Dlaunch_gdb.py16 help='GDB binary', default='@GDB_BINARY@')
18 help='File to be passed to GDB', default='@QEMU_SIM_INITRD_FILE@')
20 help='Additional arguments to pass to gdb', default='')
/seL4-refos-master/kernel/tools/
H A Dhardware_gen.py42 group.add_argument('--' + name, help=task.__doc__.strip(), action='store_true')
67 parser.add_argument('--dtb', help='device tree blob to parse for generation',
69 parser.add_argument('--hardware-config', help='YAML file containing configuration for kernel devices',
71 parser.add_argument('--hardware-schema', help='YAML file containing schema for hardware config',
73 parser.add_argument('--arch', help='architecture to generate for', default='arm')
75 help='maximum address that is available as device untyped', type=int, default=32)
77 parser.add_argument('--enable-profiling', help='enable profiling',
H 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?')
H A Dcircular_includes.py71 help="Files to ignore when parsing the sel4 source") variable
H 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')
/seL4-refos-master/kernel/libsel4/tools/
H 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?')
H 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')
/seL4-refos-master/kernel/manual/tools/libsel4_tools/
H 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?')
H 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')
/seL4-refos-master/libs/libsel4/tools/
H 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?')
H 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')
/seL4-refos-master/seL4_tools/cmake-tool/helpers/
H A Delf_sift.py72 help='ELF object file to examine') variable
74 help='align to 4KiB between files') variable
76 default=0, help='number of additional bytes to reserve')
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
/seL4-refos-master/projects/util_libs/libplatsupport/tools/
H A Ddevice_header_gen.py73 parser.add_argument('--device-list', help='sub-device list to parse for generation',
75 parser.add_argument('--device-type', help='device type of the input type', required=True)
78 parser.add_argument('--header-out', help='output location of the resultant C header',
/seL4-refos-master/libs/libplatsupport/tools/
H A Ddevice_header_gen.py73 parser.add_argument('--device-list', help='sub-device list to parse for generation',
75 parser.add_argument('--device-type', help='device type of the input type', required=True)
78 parser.add_argument('--header-out', help='output location of the resultant C header',
/seL4-refos-master/seL4_tools/misc/
H A Dwhence.py48 parser.add_argument('--upstream', '-u', required=True, help='URL of upstream repository to '
50 parser.add_argument('--upstream-subdir', default='', help='subdirectory within upstream '
52 parser.add_argument('--downstream', '-d', required=True, help='URL of downstream repository '
54 parser.add_argument('--downstream-subdir', default='', help='subdirectory within downstream '
56 parser.add_argument('--downstream-commit', help='commit in downstream repository to consider '
H A Dfilter.py43 help='File with glob filters of files')
45 help='List of files to be filtered')
/seL4-refos-master/seL4_tools/cmake-tool/
H A Dgriddle382 $PROGNAME --help
386 $PROGNAME --help
387 $PROGNAME --platform-help
392 --help Display this message and exit.
393 --platform-help List supported target platforms and exit.
499 --long "${GETOPT_FLAGS:+$GETOPT_FLAGS,}"compiler:,help,platform-help \
526 (--help)
527 MODE=help
530 (--platform-help)
[all...]
/seL4-refos-master/kernel/tools/hardware/outputs/
H A Dcompat_strings.py30 help='output file for compat strings list', type=argparse.FileType('w'))
/seL4-refos-master/projects/refos/impl/
H A Dcidl_compile194 help='generate header declarations.')
196 help='generate header/src files for the RPC client.')
198 help='generate header/src files for the RPC server.')
200 help='generate dispatcher source file for RPC server.')
202 help='skip pre-process template files.')
204 help='debug mode, adds weak symbols to handler implementation functions.')
208 help='the XML-based IDL file to compile.')
/seL4-refos-master/
H A Dcidl_compile194 help='generate header declarations.')
196 help='generate header/src files for the RPC client.')
198 help='generate header/src files for the RPC server.')
200 help='generate dispatcher source file for RPC server.')
202 help='skip pre-process template files.')
204 help='debug mode, adds weak symbols to handler implementation functions.')
208 help='the XML-based IDL file to compile.')
/seL4-refos-master/projects/seL4_libs/libsel4test/tools/
H A Dextract_results.py69 nargs='?', help='Input file', type=argparse.FileType('r', errors="ignore"),
72 nargs='?', help='Output file', type=argparse.FileType('w'),
75 help='Suppress unmodified output to stdout', action='store_true',

Completed in 100 milliseconds

123