fix #23

toppers · Nov 6, 2020 · d141701 · d141701
1 parent 0357150
commit d141701
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/device/peripheral/athrill_syscall_device.c b/src/device/peripheral/athrill_syscall_device.c
@@ -934,7 +934,12 @@ static void athrill_syscall_exit(AthrillSyscallArgType *arg)
 {
     sys_int32 status = arg->body.api_exit.status;
     printf("athrill exit(%d)\n", status);
-   	exit(status);
+    sync();
+    sync();
+    sync();
+    sync();
+    sync();
+    exit(status);
     arg->ret_value = SYS_API_ERR_OK;
     return;
 }