diff --git a/lib/utils/reset/fdt_reset_rpmi.c b/lib/utils/reset/fdt_reset_rpmi.c index edc53932..c29715d3 100644 --- a/lib/utils/reset/fdt_reset_rpmi.c +++ b/lib/utils/reset/fdt_reset_rpmi.c @@ -7,6 +7,7 @@ * Rahul Pathak */ +#include #include #include #include @@ -56,6 +57,8 @@ static void rpmi_do_system_reset(u32 reset_type) if (ret) sbi_printf("system reset failed [type: %d]: ret: %d\n", reset_type, ret); + + sbi_hart_hang(); } /**