| /seL4-refos-master/kernel/tools/hardware/outputs/ |
| H A D | compat_strings.py | 8 import argparse namespace
15 args: argparse.Namespace):
30 help='output file for compat strings list', type=argparse.FileType('w'))
|
| H A D | yaml.py | 9 import argparse namespace
28 args: argparse.Namespace):
48 type=argparse.FileType('w'))
|
| H A D | elfloader.py | 9 import argparse namespace
143 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config, args: argparse.Namespace):
178 type=argparse.FileType('w'))
|
| H A D | c_header.py | 8 import argparse namespace
161 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config, args: argparse.Namespace):
187 type=argparse.FileType('w'))
|
| /seL4-refos-master/projects/util_libs/libplatsupport/tools/ |
| H A D | device_header_gen.py | 17 import argparse namespace
48 def main(args: argparse.Namespace):
68 parser = argparse.ArgumentParser(
79 required=True, type=argparse.FileType('w'))
|
| /seL4-refos-master/libs/libplatsupport/tools/ |
| H A D | device_header_gen.py | 17 import argparse namespace
48 def main(args: argparse.Namespace):
68 parser = argparse.ArgumentParser(
79 required=True, type=argparse.FileType('w'))
|
| /seL4-refos-master/kernel/tools/ |
| H A D | hardware_gen.py | 9 import argparse namespace
36 def add_task_args(outputs: dict, parser: argparse.ArgumentParser):
46 def main(args: argparse.Namespace):
63 parser = argparse.ArgumentParser(
68 required=True, type=argparse.FileType('rb'))
70 required=True, type=argparse.FileType('r'))
72 required=True, type=argparse.FileType('r'))
|
| H A D | circular_includes.py | 16 import argparse namespace
69 parser = argparse.ArgumentParser()
|
| H A D | invocation_header_gen.py | 13 import argparse namespace
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'),
|
| H A D | reciprocal.py | 17 import argparse namespace
40 parser = argparse.ArgumentParser(
|
| H A D | syscall_header_gen.py | 13 import argparse namespace
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'),
|
| /seL4-refos-master/seL4_tools/cmake-tool/simulate_scripts/ |
| H A D | launch_gdb.py | 10 import argparse namespace
14 parser = argparse.ArgumentParser()
|
| H A D | simulate.py | 10 import argparse namespace
15 parser = argparse.ArgumentParser()
|
| /seL4-refos-master/kernel/libsel4/tools/ |
| H A D | invocation_header_gen.py | 13 import argparse namespace
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'),
|
| H A D | syscall_header_gen.py | 13 import argparse namespace
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'),
|
| /seL4-refos-master/kernel/manual/tools/libsel4_tools/ |
| H A D | invocation_header_gen.py | 13 import argparse namespace
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'),
|
| H A D | syscall_header_gen.py | 13 import argparse namespace
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'),
|
| /seL4-refos-master/libs/libsel4/tools/ |
| H A D | invocation_header_gen.py | 13 import argparse namespace
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'),
|
| H A D | syscall_header_gen.py | 13 import argparse namespace
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'),
|
| /seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
| H A D | elf_sift.py | 13 import argparse namespace
60 parser = argparse.ArgumentParser(
61 formatter_class=argparse.RawDescriptionHelpFormatter,
|
| H A D | platform_sift.py | 14 import argparse namespace
215 parser = argparse.ArgumentParser(
216 formatter_class=argparse.RawDescriptionHelpFormatter,
|
| H A D | shoehorn.py | 19 import argparse namespace
114 parser = argparse.ArgumentParser(
115 formatter_class=argparse.RawDescriptionHelpFormatter,
|
| /seL4-refos-master/projects/seL4_libs/libsel4test/tools/ |
| H A D | extract_results.py | 12 import argparse namespace
67 parser = argparse.ArgumentParser('Cleanup messy XML output from sel4test')
69 nargs='?', help='Input file', type=argparse.FileType('r', errors="ignore"),
72 nargs='?', help='Output file', type=argparse.FileType('w'),
|
| /seL4-refos-master/seL4_tools/misc/ |
| H A D | filter.py | 7 import argparse namespace
41 parser = argparse.ArgumentParser("Filter files.")
|
| H A D | style.py | 11 import argparse namespace
32 parser = argparse.ArgumentParser("Run style updates on files.")
|