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 3a6638f8e..32e59faa0 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 -} |