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

/seL4-camkes-master/kernel/tools/hardware/outputs/
H A Dcompat_strings.py14 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config,
H A Dyaml.py16 def get_kernel_devices(tree: fdt.FdtParser, rules: rule.HardwareYaml):
27 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config,
H A Dc_header.py112 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 Delfloader.py143 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config, args: argparse.Namespace):
/seL4-camkes-master/kernel/tools/
H A Dhardware_gen.py15 from hardware.utils.rule import HardwareYaml namespace
54 hardware = HardwareYaml(rules, cfg)
/seL4-camkes-master/kernel/tools/hardware/utils/
H A Drule.py215 class HardwareYaml: class in inherits:

Completed in 38 milliseconds