elfloader: make check more intuitive

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jul 2, 2024 · 0787516 · 0787516
1 parent f43fe93
commit 0787516
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/elfloader-tool/src/arch-arm/smp_boot.c b/elfloader-tool/src/arch-arm/smp_boot.c
@@ -40,7 +40,7 @@ void non_boot_main(void)
     }
 
     /* Do any driver specific non_boot core init */
-    if (initialise_devices_non_boot()) {
+    if (0 != initialise_devices_non_boot()) {
         printf("ERROR: Did not successfully return from initialise_devices_non_boot()\n");
         abort();
     }

diff --git a/elfloader-tool/src/arch-arm/sys_boot.c b/elfloader-tool/src/arch-arm/sys_boot.c
@@ -104,7 +104,7 @@ void main(UNUSED void *arg)
     void *bootloader_dtb = NULL;
 
     /* initialize platform to a state where we can print to a UART */
-    if (initialise_devices()) {
+    if (0 != initialise_devices()) {
         printf("ERROR: Did not successfully return from initialise_devices()\n");
         abort();
     }
@@ -179,7 +179,7 @@ void continue_boot(int was_relocated)
      * driver model so all its pointers are set up properly.
      */
     if (was_relocated) {
-        if (initialise_devices()) {
+        if (0 != initialise_devices()) {
             printf("ERROR: Did not successfully return from initialise_devices()\n");
             abort();
         }