julia f9eb65c9a5 tools: don't exclude device-tree reserved memory ... ... from the device UT listed by platform_gen. The kernel itself does not care about this memory, and it is just given as device UT. We also just remove the reserved array entirely from the return of `get_physical_memory` since it only seems to be a footgun, it's only used internally to affect what memory the kernel wants to use. Co-authored-by: Kent McLeod <kent@kry10.com> Signed-off-by: julia <git.ts@trainwit.ch>		2025-10-16 11:05:15 +01: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: don't exclude device-tree reserved memory	2025-10-16 11:05:15 +01:00
rule.py	python: make Region parameter owner optional	2021-11-14 11:44:00 +11:00