diff --git a/elfloader-tool/src/arch-arm/smp_boot.c b/elfloader-tool/src/arch-arm/smp_boot.c
index d429d113..6d8bd68c 100644
--- 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
index bf98aaf2..e5f0acc2 100644
--- 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();
         }