diff options
| -rw-r--r-- | common/startup.c | 3 | ||||
| -rw-r--r-- | include/common.h | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/common/startup.c b/common/startup.c index c7d0cf0df1..2ed16fea0c 100644 --- a/common/startup.c +++ b/common/startup.c @@ -174,5 +174,8 @@ void __noreturn hang (void) void shutdown_barebox(void) { devices_shutdown(); +#ifdef ARCH_SHUTDOWN + arch_shutdown(); +#endif } diff --git a/include/common.h b/include/common.h index fb1400c63b..d8130b50ad 100644 --- a/include/common.h +++ b/include/common.h @@ -135,6 +135,7 @@ void start_barebox(void); void shutdown_barebox(void); int arch_execute(void *, int argc, char *argv[]); +void arch_shutdown(void); int run_shell(void); |