Searched refs:HardwareYaml (Results 1 - 6 of 6) sorted by relevance
/seL4-camkes-master/kernel/tools/hardware/outputs/ |
H A D | compat_strings.py | 14 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config,
|
H A D | yaml.py | 16 def get_kernel_devices(tree: fdt.FdtParser, rules: rule.HardwareYaml): 27 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config,
|
H A D | c_header.py | 112 def get_kernel_devices(tree: fdt.FdtParser, rules: rule.HardwareYaml): 138 def get_interrupts(tree: fdt.FdtParser, rules: rule.HardwareYaml): 161 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config, args: argparse.Namespace):
|
H A D | elfloader.py | 143 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config, args: argparse.Namespace):
|
/seL4-camkes-master/kernel/tools/ |
H A D | hardware_gen.py | 15 from hardware.utils.rule import HardwareYaml namespace 54 hardware = HardwareYaml(rules, cfg)
|
/seL4-camkes-master/kernel/tools/hardware/utils/ |
H A D | rule.py | 215 class HardwareYaml: class in inherits:
|
Completed in 38 milliseconds