Searched refs:yaml (Results 1 - 6 of 6) sorted by relevance
/seL4-test-master/kernel/tools/hardware/outputs/ |
H A D | yaml.py | 7 ''' generate a yaml file with memory region info from the device tree ''' 10 import yaml namespace 30 raise ValueError('you need to provide a yaml-out to use the yaml output method') 35 yaml.add_representer(int, lambda dumper, data: yaml.ScalarNode( 36 'tag:yaml.org,2002:int', hex(data))) 42 yaml.dump(yaml_obj, args.yaml_out) 47 parser.add_argument('--yaml-out', help='output file for memory yaml', [all...] |
/seL4-test-master/kernel/tools/ |
H A D | hardware_gen.py | 11 import yaml namespace 14 from hardware.outputs import c_header, compat_strings, yaml as yaml_out, elfloader 21 'yaml': yaml_out, 51 rules = yaml.load(args.hardware_config, Loader=yaml.FullLoader) 52 schema = yaml.load(args.hardware_schema, Loader=yaml.FullLoader)
|
/seL4-test-master/projects/util_libs/libplatsupport/tools/ |
H A D | device_header_gen.py | 18 import yaml namespace 51 parsed_dev_dict = yaml.safe_load(device_list)
|
/seL4-test-master/tools/seL4/cmake-tool/helpers/ |
H A D | platform_sift.py | 9 `platform_gen.yaml` file. 16 import yaml namespace 177 data = yaml.safe_load(f) 219 files generated by `platform_gen.yaml`.
|
H A D | shoehorn.py | 131 ' platform_gen.yaml)') 219 ' any memory region described in "{yaml}"' 220 .format(image=image, size=image_size, yaml=platform), status=1)
|
/seL4-test-master/kernel/tools/hardware/utils/ |
H A D | rule.py | 218 def __init__(self, yaml: dict, config: Config): 220 for dev in yaml['devices']:
|
Completed in 303 milliseconds