| diff --git a/bl31/bl31_main.c b/bl31/bl31_main.c | |
| index e70eb5584..3fb1e14b3 100644 | |
| --- a/bl31/bl31_main.c | |
| +++ b/bl31/bl31_main.c | |
| @@ -196,6 +196,8 @@ void bl31_main(void) | |
| * from BL31 | |
| */ | |
| bl31_plat_runtime_setup(); | |
| + | |
| + panic(); | |
| } | |
| /******************************************************************************* |