diff options
Diffstat (limited to 'common/startup.c')
-rw-r--r-- | common/startup.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/common/startup.c b/common/startup.c index 6dca2702a9..2ed16fea0c 100644 --- a/common/startup.c +++ b/common/startup.c @@ -161,7 +161,7 @@ void start_barebox (void) /* NOTREACHED - no way out of command loop except booting */ } -void hang (void) +void __noreturn hang (void) { puts ("### ERROR ### Please RESET the board ###\n"); for (;;); @@ -174,5 +174,8 @@ void hang (void) void shutdown_barebox(void) { devices_shutdown(); +#ifdef ARCH_SHUTDOWN + arch_shutdown(); +#endif } |