elfloader: check for dtb on arm binary images

For arm builds, check if the bootloader has passed the dtb image address also for binary image builds, similarly to uimages. The Raspberry Pi bootloader for example, is able to both load binary images directly and passes the dtb address to the loaded image as expected. Signed-off-by: Viktor Sannum <[email protected]>
seL4 · Jun 28, 2021 · b9a96e9 · b9a96e9
1 parent 5805695
commit b9a96e9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/elfloader-tool/src/arch-arm/sys_boot.c b/elfloader-tool/src/arch-arm/sys_boot.c
@@ -112,7 +112,7 @@ void main(UNUSED void *arg)
     print_cpuid();
     printf("  paddr=[%p..%p]\n", _text, _end - 1);
 
-#if defined(CONFIG_IMAGE_UIMAGE)
+#if defined(CONFIG_IMAGE_UIMAGE) || defined(CONFIG_IMAGE_BINARY)
 
     /* U-Boot passes a DTB. Ancient bootloaders may pass atags. When booting via
      * bootelf argc is NULL.