Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-05 06:49:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

hardware_gen.py: List required paramaters first

Browse Source 
In the usage message, identify all the required parameters before the
optional ones.
This commit is contained in:
G. Branden Robinson
2019-05-01 14:01:59 +10:00
parent 2ee6496af3
commit d3446bc534
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
tools/hardware_gen.py
View File

@@ -1010,19 +1010,19 @@ if __name__ == '__main__':
parser = argparse.ArgumentParser(
description='transform device tree input to seL4 build configuration'
+ ' artifacts')
parser.add_argument('--config', help='kernel device configuration',
required=True, type=argparse.FileType())
parser.add_argument('--dtb', help='device tree blob to use for generation',
required=True, type=argparse.FileType('rb'))
parser.add_argument('--output', help='output file for generated header',
required=True, type=argparse.FileType('w'))
parser.add_argument('--schema', help='config file schema for validation',
required=True, type=argparse.FileType())
parser.add_argument('--compatibility-strings',
help='File to write CMake list of compatibility strings', type=argparse.FileType('w'))
parser.add_argument('--page-bits', help='number of bits per page', default=12, type=int)
parser.add_argument(
'--phys-align', help='alignment in bits of the base address of the kernel', default=24, type=int)
parser.add_argument('--config', help='kernel device configuration',
required=True, type=argparse.FileType())
parser.add_argument('--schema', help='config file schema for validation',
required=True, type=argparse.FileType())
args = parser.parse_args()
main(args)
else: