patch/fault_inject/induce_bl31_main_panic.patch

diff --git a/bl31/bl31_main.c b/bl31/bl31_main.c
index cae55f314..2a0951d49 100644
--- a/bl31/bl31_main.c
+++ b/bl31/bl31_main.c
@@ -216,6 +216,8 @@ void bl31_main(void)
 	PMF_CAPTURE_TIMESTAMP(bl_svc, BL31_EXIT, PMF_CACHE_MAINT);
 	console_flush();
 #endif
+
+	panic();
 }
 
 /*******************************************************************************