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