Searched defs:get_physical_memory (Results 1 - 1 of 1) sorted by path
/seL4-refos-master/kernel/tools/hardware/utils/ | ||
H A D | memory.py | 88 def get_physical_memory(tree: FdtParser, config: Config) -> List[Region]: function |
Completed in 32 milliseconds