diff options
Diffstat (limited to 'common/board_f.c')
-rw-r--r-- | common/board_f.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/common/board_f.c b/common/board_f.c index 3a6638f8ee..32e59faa02 100644 --- a/common/board_f.c +++ b/common/board_f.c @@ -1087,13 +1087,3 @@ void board_init_f_r(void) hang(); } #endif /* CONFIG_X86 */ - -void hang(void) -{ - puts("### ERROR ### Please RESET the board ###\n"); -#ifdef CONFIG_SANDBOX - os_exit(0); -#else - for (;;); -#endif -} |