This patch series fixes several errors in the handling of addresses on the sandbox when setting up the flattened device tree.
The memory type used for the fdt is corrected. It is checked by a unit test.
A macro is supplied to calculate the numbers of pages needed for a buffer.
Heinrich Schuchardt (9): EDT_support: fdt reservations on the sandbox efi_loader: fix efi_find_free_memory() efi_loader: memory reservation for fdt efi_loader: carving out memory reservations efi_loader: correct efi_add_known_memory() efi_loader: macro efi_size_in_pages() efi_loader: fix memory mapping for sandbox efi_loader: do not use magic address for fdt efi_selftest: check fdt is marked as runtime data
cmd/bootefi.c | 79 +++++++++++--------------- common/fdt_support.c | 6 +- include/efi_loader.h | 11 +++- lib/efi_loader/efi_memory.c | 29 +++++++--- lib/efi_selftest/efi_selftest_memory.c | 24 ++++++++ 5 files changed, 91 insertions(+), 58 deletions(-)