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
c_header.py	tools: don't exclude device-tree reserved memory	2025-10-16 11:05:15 +01:00
compat_strings.py	platform_gen: only generate regions that are used	2025-02-10 12:48:13 +11:00
elfloader.py	platform_gen: only generate regions that are used	2025-02-10 12:48:13 +11:00
json.py	tools: don't exclude device-tree reserved memory	2025-10-16 11:05:15 +01:00
yaml.py	tools: don't exclude device-tree reserved memory	2025-10-16 11:05:15 +01:00