diff options
| -rw-r--r-- | lib/utils/reset/fdt_reset_rpmi.c | 3 |
1 files changed, 3 insertions, 0 deletions
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 <[email protected]> */ +#include <sbi/sbi_hart.h> #include <sbi/sbi_error.h> #include <sbi/sbi_system.h> #include <sbi/sbi_console.h> @@ -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(); } /** |