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

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 <danilochiarlone@gmail.com>

Author: danbugs

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'

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'

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'

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'

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'

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'

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'

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'

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'

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'