sandbox: Add OS dependent layer

[karo-tx-uboot.git] / arch / sandbox / cpu / cpu.c

diff --git a/arch/sandbox/cpu/cpu.c b/arch/sandbox/cpu/cpu.c
index 554cae85ef05874221cd38f9e59edf65bb8a51fd..c7bf8a9155801ca162402a0560e8ea1a1ae1a9e2 100644 (file)
--- a/arch/sandbox/cpu/cpu.c
+++ b/arch/sandbox/cpu/cpu.c
@@ -20,15 +20,14 @@
  */
 
 #include <common.h>
+#include <os.h>
 
 DECLARE_GLOBAL_DATA_PTR;
 
 int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])
 {
-       /*
-        * This is considered normal termination for now. We wil call os_exit()
-        * when available.
-        */
+       /* This is considered normal termination for now */
+       os_exit(0);
        return 0;
 }