patch/fault_inject/induce_bl31_main_panic.patch

diff --git i/bl31/bl31_main.c w/bl31/bl31_main.c
index bc1bfc963..d95b836ea 100644
--- i/bl31/bl31_main.c
+++ w/bl31/bl31_main.c
@@ -235,6 +235,8 @@ void __no_pauth bl31_main(u_register_t arg0, u_register_t arg1, u_register_t arg
 
 	console_flush();
 	console_switch_state(CONSOLE_FLAG_RUNTIME);
+
+	panic();
 }
 
 void __no_pauth bl31_warmboot(void)