diff --git a/services/spd/trusty/trusty.c b/services/spd/trusty/trusty.c
index 1d6d0748f04728b1f8a4fecf4a8e213d4445c5a0..e62f7396f41a9ba57ce37b34b0bbf8332e59d6fa 100644
--- a/services/spd/trusty/trusty.c
+++ b/services/spd/trusty/trusty.c
@@ -13,6 +13,7 @@
 #include <interrupt_mgmt.h>
 #include <platform.h>
 #include <runtime_svc.h>
+#include <stdbool.h>
 #include <string.h>
 
 #include "sm_err.h"
@@ -397,7 +398,7 @@ static int32_t trusty_setup(void)
 	uint32_t instr;
 	uint32_t flags;
 	int ret;
-	int aarch32 = 0;
+	bool aarch32 = false;
 
 	/* Get trusty's entry point info */
 	ep_info = bl31_plat_get_next_image_ep_info(SECURE);
@@ -410,7 +411,7 @@ static int32_t trusty_setup(void)
 
 	if (instr >> 24 == 0xea) {
 		INFO("trusty: Found 32 bit image\n");
-		aarch32 = 1;
+		aarch32 = true;
 	} else if (instr >> 8 == 0xd53810 || instr >> 16 == 0x9400) {
 		INFO("trusty: Found 64 bit image\n");
 	} else {