Home
last modified time | relevance | path

Searched refs:addrspace_max (Results 1 – 3 of 3) sorted by relevance

/seL4-master/tools/hardware/
A Dconfig.py14 def __init__(self, addrspace_max): argument
15 self.addrspace_max = addrspace_max
98 if self.addrspace_max > (1 << 32):
106 def get_arch_config(arch: str, addrspace_max: int) -> Config:
109 return ARMConfig(addrspace_max)
111 return RISCVConfig(addrspace_max)
/seL4-master/tools/
A Dhardware_gen.py52 cfg = hardware.config.get_arch_config(args.arch, args.addrspace_max)
/seL4-master/tools/hardware/utils/
A Dmemory.py101 as_max = hardware.utils.align_down(config.addrspace_max,

Completed in 6 milliseconds