/seL4-refos-master/projects/refos/impl/docs/ |
H A D | Makefile | 22 help: 26 @echo 'make help - Display this help message.'
|
/seL4-refos-master/docs/ |
H A D | Makefile | 22 help: 26 @echo 'make help - Display this help message.'
|
/seL4-refos-master/seL4_tools/cmake-tool/simulate_scripts/ |
H A D | simulate.py | 17 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 D | launch_gdb.py | 16 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 D | hardware_gen.py | 42 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 D | invocation_header_gen.py | 147 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 D | circular_includes.py | 71 help="Files to ignore when parsing the sel4 source") variable
|
H A D | syscall_header_gen.py | 131 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 D | invocation_header_gen.py | 147 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 D | syscall_header_gen.py | 131 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 D | invocation_header_gen.py | 147 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 D | syscall_header_gen.py | 131 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 D | invocation_header_gen.py | 147 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 D | syscall_header_gen.py | 131 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 D | elf_sift.py | 72 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 D | platform_sift.py | 246 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 D | device_header_gen.py | 73 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 D | device_header_gen.py | 73 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 D | whence.py | 48 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 D | filter.py | 43 help='File with glob filters of files') 45 help='List of files to be filtered')
|
/seL4-refos-master/seL4_tools/cmake-tool/ |
H A D | griddle | 382 $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 D | compat_strings.py | 30 help='output file for compat strings list', type=argparse.FileType('w'))
|
/seL4-refos-master/projects/refos/impl/ |
H A D | cidl_compile | 194 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 D | cidl_compile | 194 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 D | extract_results.py | 69 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',
|