| /seL4-refos-master/seL4_tools/cmake-tool/simulate_scripts/ |
| H A D | simulate.py | 15 parser = argparse.ArgumentParser()
16 parser.add_argument('-b', '--binary', dest="qemu_sim_binary", type=str,
18 parser.add_argument('-d', '--gdbserver', dest="qemu_gdbserver", action='store_true',
20 parser.add_argument('-M', '--machine', dest="qemu_sim_machine", type=str,
22 parser.add_argument('-c', '--cpu', dest='qemu_sim_cpu', type=str,
24 parser.add_argument('-o', '--cpu-opt', dest='qemu_sim_cpu_opt', type=str,
26 parser.add_argument('-g', '--graphic', dest='qemu_sim_graphic_opt', type=str,
28 parser.add_argument('-s', '--serial', dest='qemu_sim_serial_opt', type=str,
30 parser.add_argument('-m', '--mem-size', dest='qemu_sim_mem_size', type=str,
32 parser
[all...] |
| H A D | launch_gdb.py | 14 parser = argparse.ArgumentParser()
15 parser.add_argument('-b', '--binary', dest='gdb_binary', type=str,
17 parser.add_argument('-f', '--file', dest='target_executable', type=str,
19 parser.add_argument('--extra-gdb-args', dest='extra_gdb_args', type=str,
21 args = parser.parse_args()
|
| /seL4-refos-master/kernel/tools/ |
| H A D | hardware_gen.py | 36 def add_task_args(outputs: dict, parser: argparse.ArgumentParser):
41 group = parser.add_argument_group('{} pass'.format(name))
63 parser = argparse.ArgumentParser( variable
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')
74 parser.add_argument('--addrspace-max',
77 parser.add_argument('--enable-profiling', help='enable profiling',
80 add_task_args(OUTPUTS, parser)
[all...] |
| H A D | circular_includes.py | 69 parser = argparse.ArgumentParser() variable
70 parser.add_argument('--ignore', nargs='+',
72 args = parser.parse_args()
|
| H A D | invocation_header_gen.py | 144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
146 parser.add_argument('--xml', type=argparse.FileType('r'),
148 parser.add_argument('--dest', type=argparse.FileType('w'),
150 parser.add_argument('--libsel4', action='store_true',
152 group = parser.add_mutually_exclusive_group()
158 return parser.parse_args()
|
| H A D | reciprocal.py | 40 parser = argparse.ArgumentParser(
42 parser.add_argument("--divisor", type=int, required=True,
44 args = parser.parse_args()
|
| H A D | syscall_header_gen.py | 128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
130 parser.add_argument('--xml', type=argparse.FileType('r'),
132 parser.add_argument('--kernel_header', type=argparse.FileType('w'),
134 parser.add_argument('--libsel4_header', type=argparse.FileType('w'),
136 parser.add_argument('--mcs', action='store_true',
139 result = parser.parse_args()
144 parser.print_help()
|
| /seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
| H A D | elf_sift.py | 60 parser = argparse.ArgumentParser(
71 parser.add_argument('elf_file', nargs='+', type=str,
73 parser.add_argument('--align', action='store_true',
75 parser.add_argument('--reserve', metavar='BYTES', type=int, action='store',
77 args = parser.parse_args()
|
| H A D | platform_sift.py | 215 parser = argparse.ArgumentParser(
245 parser.add_argument('platform_filename', nargs='+', type=str,
247 parser.add_argument('--emit-c-syntax', action='store_true',
249 parser.add_argument('--array_symbol', type=str,
252 parser.add_argument('--array_length_symbol', type=str,
255 parser.add_argument('--structure_tag_symbol', type=str,
258 args = parser.parse_args()
|
| /seL4-refos-master/projects/util_libs/libplatsupport/tools/ |
| H A D | device_header_gen.py | 68 parser = argparse.ArgumentParser( variable
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',
81 args = parser.parse_args()
|
| /seL4-refos-master/libs/libplatsupport/tools/ |
| H A D | device_header_gen.py | 68 parser = argparse.ArgumentParser( variable
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',
81 args = parser.parse_args()
|
| /seL4-refos-master/kernel/libsel4/tools/ |
| H A D | invocation_header_gen.py | 144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
146 parser.add_argument('--xml', type=argparse.FileType('r'),
148 parser.add_argument('--dest', type=argparse.FileType('w'),
150 parser.add_argument('--libsel4', action='store_true',
152 group = parser.add_mutually_exclusive_group()
158 return parser.parse_args()
|
| H A D | syscall_header_gen.py | 128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
130 parser.add_argument('--xml', type=argparse.FileType('r'),
132 parser.add_argument('--kernel_header', type=argparse.FileType('w'),
134 parser.add_argument('--libsel4_header', type=argparse.FileType('w'),
136 parser.add_argument('--mcs', action='store_true',
139 result = parser.parse_args()
144 parser.print_help()
|
| /seL4-refos-master/kernel/manual/tools/libsel4_tools/ |
| H A D | invocation_header_gen.py | 144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
146 parser.add_argument('--xml', type=argparse.FileType('r'),
148 parser.add_argument('--dest', type=argparse.FileType('w'),
150 parser.add_argument('--libsel4', action='store_true',
152 group = parser.add_mutually_exclusive_group()
158 return parser.parse_args()
|
| H A D | syscall_header_gen.py | 128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
130 parser.add_argument('--xml', type=argparse.FileType('r'),
132 parser.add_argument('--kernel_header', type=argparse.FileType('w'),
134 parser.add_argument('--libsel4_header', type=argparse.FileType('w'),
136 parser.add_argument('--mcs', action='store_true',
139 result = parser.parse_args()
144 parser.print_help()
|
| /seL4-refos-master/libs/libsel4/tools/ |
| H A D | invocation_header_gen.py | 144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
146 parser.add_argument('--xml', type=argparse.FileType('r'),
148 parser.add_argument('--dest', type=argparse.FileType('w'),
150 parser.add_argument('--libsel4', action='store_true',
152 group = parser.add_mutually_exclusive_group()
158 return parser.parse_args()
|
| H A D | syscall_header_gen.py | 128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
130 parser.add_argument('--xml', type=argparse.FileType('r'),
132 parser.add_argument('--kernel_header', type=argparse.FileType('w'),
134 parser.add_argument('--libsel4_header', type=argparse.FileType('w'),
136 parser.add_argument('--mcs', action='store_true',
139 result = parser.parse_args()
144 parser.print_help()
|
| /seL4-refos-master/kernel/tools/hardware/outputs/ |
| H A D | compat_strings.py | 28 def add_args(parser):
29 parser.add_argument('--compat-strings-out',
|
| /seL4-refos-master/seL4_tools/misc/ |
| H A D | filter.py | 41 parser = argparse.ArgumentParser("Filter files.")
42 parser.add_argument('-f', '--filters', type=str,
44 parser.add_argument('files', nargs='*', type=str,
46 args = parser.parse_args()
|
| H A D | whence.py | 46 parser = argparse.ArgumentParser(description='locate a Git commit in an upstream project from '
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 '
58 opts = parser.parse_args(argv[1:])
|
| H A D | style.py | 32 parser = argparse.ArgumentParser("Run style updates on files.")
33 parser.add_argument('-f', '--filters', type=str,
35 parser.add_argument('files', nargs='*', type=str,
37 args = parser.parse_args()
|
| /seL4-refos-master/projects/seL4_libs/libsel4test/tools/ |
| H A D | extract_results.py | 67 parser = argparse.ArgumentParser('Cleanup messy XML output from sel4test')
68 parser.add_argument('input',
71 parser.add_argument('output',
74 parser.add_argument('--quiet', '-q',
77 args = parser.parse_args()
97 # parser is a bit more precious about the input.
|
| /seL4-refos-master/kernel/manual/tools/ |
| H A D | gen_invocations.py | 105 parser = argparse.ArgumentParser(description='Generates doxygen-annotated header '
109 parser.add_argument("-o", "--output", dest="output", default="/dev/stdout",
112 parser.add_argument("files", metavar="FILES", nargs="+", type=str,
115 parser.add_argument("-d", "--dtd", nargs="?", type=str,
118 return parser
122 parser = process_args()
123 args = parser.parse_args()
|
| /seL4-refos-master/projects/refos/impl/ |
| H A D | cidl_compile | 192 parser = argparse.ArgumentParser(description = DESCRIPTION) variable
193 parser.add_argument('-r', '--header', action='store_true',\
195 parser.add_argument('-c', '--client', action='store_true',\
197 parser.add_argument('-s', '--server', action='store_true',\
199 parser.add_argument('-d', '--dispatcher', action='store_true',\
201 parser.add_argument('-n', '--no_preprocess', action='store_false',\
203 parser.add_argument('-g', '--debug', action='store_true',\
205 parser.add_argument('-v', '--version', action='version',\
207 parser.add_argument('filename', metavar='IDL_FILE', action='store', \
209 args = parser
[all...] |
| /seL4-refos-master/ |
| H A D | cidl_compile | 192 parser = argparse.ArgumentParser(description = DESCRIPTION) variable
193 parser.add_argument('-r', '--header', action='store_true',\
195 parser.add_argument('-c', '--client', action='store_true',\
197 parser.add_argument('-s', '--server', action='store_true',\
199 parser.add_argument('-d', '--dispatcher', action='store_true',\
201 parser.add_argument('-n', '--no_preprocess', action='store_false',\
203 parser.add_argument('-g', '--debug', action='store_true',\
205 parser.add_argument('-v', '--version', action='version',\
207 parser.add_argument('filename', metavar='IDL_FILE', action='store', \
209 args = parser
[all...] |