Searched refs:yaml (Results 1 - 6 of 6) sorted by relevance

/seL4-test-master/kernel/tools/hardware/outputs/
H A Dyaml.py7 ''' 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 Dhardware_gen.py11 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 Ddevice_header_gen.py18 import yaml namespace
51 parsed_dev_dict = yaml.safe_load(device_list)
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dplatform_sift.py9 `platform_gen.yaml` file.
16 import yaml namespace
177 data = yaml.safe_load(f)
219 files generated by `platform_gen.yaml`.
H A Dshoehorn.py131 ' 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 Drule.py218 def __init__(self, yaml: dict, config: Config):
220 for dev in yaml['devices']:

Completed in 303 milliseconds