Searched refs:get_arch_config (Results 1 – 2 of 2) sorted by relevance

/seL4-master/tools/hardware/
A D	config.py	106 def get_arch_config(arch: str, addrspace_max: int) -> Config: function
/seL4-master/tools/
A D	hardware_gen.py	52 cfg = hardware.config.get_arch_config(args.arch, args.addrspace_max)

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023