diff options
-rw-r--r-- | arm/secure_init.S | 2 | ||||
-rw-r--r-- | arm/secure_svc.c | 2 |
2 files changed, 1 insertions, 3 deletions
diff --git a/arm/secure_init.S b/arm/secure_init.S index c09499b..c77838f 100644 --- a/arm/secure_init.S +++ b/arm/secure_init.S @@ -135,12 +135,10 @@ secure_remap_vecs: orr r10, r10, #0x2000 @ SCTLR.V = 1 mcr p15, 0, r10, c1, c0, 0 -#ifdef DEBUG /* Check that are entry state makes sense before initializing the monitor * mode. */ bl secure_check_init -#endif secure_init_monitor: /* Call monitor mode initialization and pass to it the non-secure execution diff --git a/arm/secure_svc.c b/arm/secure_svc.c index c8a723e..3ba4471 100644 --- a/arm/secure_svc.c +++ b/arm/secure_svc.c @@ -94,7 +94,7 @@ void secure_check_init() printf("FAILED\n"); DEBUG_MSG("current IDPFR1 (%d) != expected IDPFR1 (%d)\n", (idpfr1 & 0xf0), 0x10); - assert(0x10 == (idpfr1 & 0xf0)); + exit(1); } else { printf("PASSED\n"); } |