Upgrade KraftKit to v0.7.2 (#463)

Signed-off-by: Juan Cruz Viotti <[email protected]>

.github/workflows/ci.yml

@@ -128,9 +128,9 @@ jobs:
       - uses: actions/checkout@v3
       - name: Install KraftKit
         run: |
-          wget https://github.com/unikraft/kraftkit/releases/download/v0.7.0/kraftkit_0.7.0_linux_amd64.deb
-          sudo dpkg -i kraftkit_0.7.0_linux_amd64.deb
-          rm kraftkit_0.7.0_linux_amd64.deb
+          wget https://github.com/unikraft/kraftkit/releases/download/v0.7.2/kraftkit_0.7.2_linux_amd64.deb
+          sudo dpkg -i kraftkit_0.7.2_linux_amd64.deb
+          rm kraftkit_0.7.2_linux_amd64.deb
 
       - run: kraft build --target development --jobs 4 --log-type=basic unikraft
       - run: kraft run --target development --disable-acceleration unikraft

unikraft/Kraftfile

@@ -1,4 +1,4 @@
-specification: v0.5
+specification: v0.6
 name: sourcemeta_jsontoolkit_test
 unikraft:
   version: stable
@@ -18,7 +18,7 @@ libraries:
   libcxx:
     version: stable
   libunwind:
-    version: staging
+    version: stable
   compiler-rt:
     version: stable
   musl: