Flush and unmount disk image after copy

diff --git a/tools/copy_to_image.sh b/tools/copy_to_image.sh
index b795b51b9c2682486ff6f889c82824c638fe9753..2765e6e27a190f73ee4182476387532d2264c913 100755 (executable)
--- a/tools/copy_to_image.sh
+++ b/tools/copy_to_image.sh
@@ -8,3 +8,7 @@ else
     sudo mount /dev/loop2 mnt
 fi
     cp -v obj/kern/kernel mnt/kernel
+    sync
+    sudo umount /dev/loop2 
+    sudo losetup -d /dev/loop2
+    sudo losetup -d /dev/loop1