seL4/tools/hardware/utils
Bertrand Virfollet b32b9568b2 tools: merge adjacent memory regions
Merge memory regions before checking for reserved areas

Co-authored-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

Signed-off-by: Bertrand Virfollet <bvirfollet@silicom.fr>
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2021-09-08 07:53:53 +10:00
..
__init__.py Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
cpu.py Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
memory.py tools: merge adjacent memory regions 2021-09-08 07:53:53 +10:00
rule.py riscv: Map devices with large pages on 32 & 64-bit 2020-12-03 10:31:16 +11:00