ci: point kraft.yaml at unikraft fork with demand-page heap fix

danbugs · danbugs · commit da91188e6b69 · 2026-06-24T17:39:22.000Z
Temporarily point all examples' unikraft source at
danbugs/unikraft:perf/demand-page-heap to validate the
boot.c heap unmap fix across all examples.

This branch adds a uk_paging_page_unmap call after
uk_vma_map_anon in heap_init(), tearing down boot-provided
identity-mapped PTEs so demand paging works correctly.
Reduces snapshot size from 3.0 GiB to 654 MiB for Python
guests.

Signed-off-by: danbugs &lt;danilochiarlone@gmail.com&gt;
diff --git a/examples/dotnet-http/kraft.yaml b/examples/dotnet-http/kraft.yaml
@@ -2,8 +2,8 @@ specification: '0.6'
 name: dotnet-http-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     # Platform
     CONFIG_PLAT_HYPERLIGHT: 'y'
diff --git a/examples/dotnet-nativeaot/kraft.yaml b/examples/dotnet-nativeaot/kraft.yaml
@@ -2,8 +2,8 @@ specification: '0.6'
 name: dotnet-nativeaot-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     CONFIG_PLAT_HYPERLIGHT: 'y'
     CONFIG_PAGING: 'n'
diff --git a/examples/dotnet/kraft.yaml b/examples/dotnet/kraft.yaml
@@ -2,8 +2,8 @@ specification: '0.6'
 name: dotnet-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     # Platform
     CONFIG_PLAT_HYPERLIGHT: 'y'
diff --git a/examples/go-http/kraft.yaml b/examples/go-http/kraft.yaml
@@ -2,8 +2,8 @@ specification: '0.6'
 name: go-http-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     # Platform
     CONFIG_PLAT_HYPERLIGHT: 'y'
diff --git a/examples/go/kraft.yaml b/examples/go/kraft.yaml
@@ -3,8 +3,8 @@ specification: '0.6'
 name: go-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     # Platform
     CONFIG_PLAT_HYPERLIGHT: 'y'
diff --git a/examples/helloworld-c/kraft.yaml b/examples/helloworld-c/kraft.yaml
@@ -2,8 +2,8 @@ specification: '0.6'
 name: helloworld-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     CONFIG_PLAT_HYPERLIGHT: 'y'
     CONFIG_PAGING: 'n'
diff --git a/examples/hostfs-posix-c/kraft.yaml b/examples/hostfs-posix-c/kraft.yaml
@@ -2,8 +2,8 @@ specification: '0.6'
 name: hostfs-posix-c-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     # Platform
     CONFIG_PLAT_HYPERLIGHT: 'y'
diff --git a/examples/hostfs-posix-py/kraft.yaml b/examples/hostfs-posix-py/kraft.yaml
@@ -2,8 +2,8 @@ specification: '0.6'
 name: hostfs-posix-py-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     # Platform
     CONFIG_PLAT_HYPERLIGHT: 'y'
diff --git a/examples/multifn-c/kraft.yaml b/examples/multifn-c/kraft.yaml
@@ -2,8 +2,8 @@ specification: '0.6'
 name: multifn-c-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     CONFIG_PLAT_HYPERLIGHT: 'y'
     CONFIG_PAGING: 'n'
diff --git a/examples/networking-py/kraft.yaml b/examples/networking-py/kraft.yaml
@@ -2,8 +2,8 @@ specification: '0.6'
 name: networking-py-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     # Platform
     CONFIG_PLAT_HYPERLIGHT: 'y'
diff --git a/examples/nodejs/kraft.yaml b/examples/nodejs/kraft.yaml
@@ -3,8 +3,8 @@ specification: '0.6'
 name: nodejs-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     # Platform
     CONFIG_PLAT_HYPERLIGHT: 'y'
diff --git a/examples/powershell/kraft.yaml b/examples/powershell/kraft.yaml
@@ -2,8 +2,8 @@ specification: '0.6'
 name: powershell-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     # Platform
     CONFIG_PLAT_HYPERLIGHT: 'y'
diff --git a/examples/python-agent-driver/kraft.yaml b/examples/python-agent-driver/kraft.yaml
@@ -2,8 +2,8 @@ specification: '0.6'
 name: python-agent-driver-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     CONFIG_PLAT_HYPERLIGHT: 'y'
     CONFIG_PAGING: 'n'
diff --git a/examples/python-agent/kraft.yaml b/examples/python-agent/kraft.yaml
@@ -2,8 +2,8 @@ specification: '0.6'
 name: python-agent-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     # Platform
     CONFIG_PLAT_HYPERLIGHT: 'y'
diff --git a/examples/python-tools/kraft.yaml b/examples/python-tools/kraft.yaml
@@ -3,8 +3,8 @@ specification: '0.6'
 name: python-tools-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     # Platform
     CONFIG_PLAT_HYPERLIGHT: 'y'
diff --git a/examples/python/kraft.yaml b/examples/python/kraft.yaml
@@ -3,8 +3,8 @@ specification: '0.6'
 name: python-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     # Platform
     CONFIG_PLAT_HYPERLIGHT: 'y'
diff --git a/examples/rust/kraft.yaml b/examples/rust/kraft.yaml
@@ -3,8 +3,8 @@ specification: '0.6'
 name: rust-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     # Platform
     CONFIG_PLAT_HYPERLIGHT: 'y'
diff --git a/examples/shell/kraft.yaml b/examples/shell/kraft.yaml
@@ -3,8 +3,8 @@ specification: '0.6'
 name: shell-hyperlight
 
 unikraft:
-  source: https://github.com/unikraft/unikraft.git
-  version: plat-hyperlight
+  source: https://github.com/danbugs/unikraft.git
+  version: perf/demand-page-heap
   kconfig:
     # Platform
     CONFIG_PLAT_HYPERLIGHT: 'y'
