Resolve test-examples workflow conflict

Author: cachebag

.github/workflows/test-examples.yml

@@ -7,10 +7,10 @@ on:
   push:
     branches: [main]
     paths:
-      - 'examples/**'
-      - 'runtimes/**'
-      - 'host/**'
-      - '.github/workflows/test-examples.yml'
+      - "examples/**"
+      - "runtimes/**"
+      - "host/**"
+      - ".github/workflows/test-examples.yml"
 
 # Pushing a new commit to the same ref cancels any in-flight run on
 # the previous commit — don't waste CI on stale code.
@@ -61,12 +61,14 @@ jobs:
           - python-agent-driver
           - powershell
           - networking-py
+          - go-http
+          - dotnet-http
     steps:
       - uses: actions/checkout@v4
 
       - uses: actions/setup-go@v5
         with:
-          go-version: '1.25.1'
+          go-version: "1.25.1"
           cache: false
 
       - name: Install just
@@ -90,7 +92,7 @@ jobs:
       - name: Build local-python-base images (python-agent-driver only)
         if: matrix.example == 'python-agent-driver'
         env:
-          DOCKER_BUILDKIT: '0'
+          DOCKER_BUILDKIT: "0"
         run: |
           docker build --target base -t local-python-base-dev:latest \
               -f runtimes/python.Dockerfile runtimes/
@@ -100,7 +102,7 @@ jobs:
       - name: Build rootfs
         working-directory: examples/${{ matrix.example }}
         env:
-          DOCKER_BUILDKIT: '0'
+          DOCKER_BUILDKIT: "0"
         run: |
           just rootfs
 
@@ -224,6 +226,14 @@ jobs:
           - example: networking-py
             args: "--port 8080 -- /echo_server_test.py"
             expect: "SUCCESS: bind\\+listen on port 8080 allowed"
+          - example: go-http
+            args: "--port 8080 -- /bin/server"
+            expect: "Hello from Hyperlight-Unikraft!"
+            http_port: "8080"
+          - example: dotnet-http
+            args: "--port 8080 -- /app/KestrelHyperlight"
+            expect: "Hello from Kestrel on Hyperlight!"
+            http_port: "8080"
     steps:
       - uses: actions/checkout@v4
 
@@ -283,7 +293,7 @@ jobs:
       - name: Build local-python-base images (python-agent-driver only)
         if: steps.kvm_check.outputs.available == 'true' && matrix.example == 'python-agent-driver'
         env:
-          DOCKER_BUILDKIT: '0'
+          DOCKER_BUILDKIT: "0"
         run: |
           docker build --target base -t local-python-base-dev:latest \
               -f runtimes/python.Dockerfile runtimes/
@@ -294,7 +304,7 @@ jobs:
         if: steps.kvm_check.outputs.available == 'true'
         working-directory: examples/${{ matrix.example }}
         env:
-          DOCKER_BUILDKIT: '0'
+          DOCKER_BUILDKIT: "0"
         run: |
           just rootfs
           kraft-hyperlight --no-prompt build --plat hyperlight --arch x86_64 || true
@@ -345,10 +355,48 @@ jobs:
             mkdir -p "$mount_dir"
             mount_args="--mount $mount_dir:/host"
           fi
+
           tool_args=""
           if [ "${{ matrix.needs_echo_tool }}" = "true" ]; then
             tool_args="--tool echo=../echo-wasm-host-fxn/target/wasm32-wasip1/release/echo-wasm-host-fxn.wasm"
           fi
+
+          # HTTP server examples: start in background, poll, curl, kill.
+          http_port="${{ matrix.http_port }}"
+          if [ -n "$http_port" ]; then
+            mem_args=""
+            if [ -n "$memory" ]; then
+              mem_args="-m $memory"
+            fi
+            hyperlight-unikraft -q $mem_args "$kernel" --initrd "$cpio" $mount_args $tool_args ${{ matrix.args }} &
+            server_pid=$!
+            sleep 3
+            ready=0
+            for i in $(seq 1 30); do
+              if curl -s --max-time 10 "http://127.0.0.1:${http_port}" >/dev/null 2>&1; then
+                ready=1
+                break
+              fi
+              sleep 1
+            done
+            if [ "$ready" -ne 1 ]; then
+              echo "FAIL: server did not become ready within timeout"
+              kill "$server_pid" 2>/dev/null || true
+              exit 1
+            fi
+            response=$(curl -s --max-time 10 "http://127.0.0.1:${http_port}")
+            kill "$server_pid" 2>/dev/null || true
+            wait "$server_pid" 2>/dev/null || true
+            echo "=== HTTP response ==="
+            echo "$response"
+            if echo "$response" | grep -qF "$expect"; then
+              echo "PASS: matched /$expect/"
+            else
+              echo "FAIL: did not match /$expect/"
+              exit 1
+            fi
+            exit 0
+          fi
           case "${{ matrix.driver }}" in
             multifn-test)
               cmd=(timeout 60 /home/runner/work/hyperlight-unikraft/hyperlight-unikraft/host/target/release/multifn-test "$kernel" "$cpio")
@@ -414,12 +462,14 @@ jobs:
           - python-agent-driver
           - powershell
           - networking-py
+          - go-http
+          - dotnet-http
     steps:
       - uses: actions/checkout@v4
 
       - uses: actions/setup-go@v5
         with:
-          go-version: '1.25.1'
+          go-version: "1.25.1"
           cache: false
 
       - name: Install just
@@ -443,7 +493,7 @@ jobs:
       - name: Build local-python-base images (python-agent-driver only)
         if: matrix.example == 'python-agent-driver'
         env:
-          DOCKER_BUILDKIT: '0'
+          DOCKER_BUILDKIT: "0"
         run: |
           docker build --target base -t local-python-base-dev:latest \
               -f runtimes/python.Dockerfile runtimes/
@@ -453,7 +503,7 @@ jobs:
       - name: Build rootfs + kernel
         working-directory: examples/${{ matrix.example }}
         env:
-          DOCKER_BUILDKIT: '0'
+          DOCKER_BUILDKIT: "0"
         run: |
           just rootfs
           kraft-hyperlight --no-prompt build --plat hyperlight --arch x86_64 || true
@@ -566,6 +616,14 @@ jobs:
           - example: networking-py
             args: "--port 8080 -- /echo_server_test.py"
             expect: "SUCCESS: bind\\+listen on port 8080 allowed"
+          - example: go-http
+            args: "--port 8080 -- /bin/server"
+            expect: "Hello from Hyperlight-Unikraft!"
+            http_port: "8080"
+          - example: dotnet-http
+            args: "--port 8080 -- /app/KestrelHyperlight"
+            expect: "Hello from Kestrel on Hyperlight!"
+            http_port: "8080"
     steps:
       - uses: actions/checkout@v4
 
@@ -647,6 +705,54 @@ jobs:
           $PSNativeCommandUseErrorActionPreference = $false
           $ErrorActionPreference = 'Continue'
 
+          # HTTP server examples: start in background, poll, curl, kill.
+          $httpPort = '${{ matrix.http_port }}'
+          if ($httpPort -ne '') {
+            $argList = @()
+            if ($runArgs -ne '') {
+              $argList = $runArgs.Split(' ') | Where-Object { $_ -ne '' }
+            }
+            $memArgs = @()
+            if ($memory -ne '') {
+              $memArgs = @('-m', $memory)
+            }
+            $stderrLog = Join-Path $env:RUNNER_TEMP 'hl-stderr.log'
+            $proc = Start-Process -FilePath 'hyperlight-unikraft' `
+              -ArgumentList (@('-q') + $memArgs + @($kernel, '--initrd', $cpio) + $argList) `
+              -PassThru -NoNewWindow -RedirectStandardError $stderrLog
+            # Give the server time to boot the unikernel and start listening
+            Start-Sleep -Seconds 5
+            $ready = $false
+            for ($i = 0; $i -lt 30; $i++) {
+              try {
+                $null = Invoke-WebRequest -Uri "http://127.0.0.1:${httpPort}" -UseBasicParsing -TimeoutSec 10 -ErrorAction Stop
+                $ready = $true
+                break
+              } catch {
+                Start-Sleep -Seconds 1
+              }
+            }
+            if (-not $ready) {
+              Write-Host "FAIL: server did not become ready within timeout"
+              Write-Host "=== stderr (last 200 lines) ==="
+              Get-Content $stderrLog -Tail 200 -ErrorAction SilentlyContinue
+              Stop-Process -Id $proc.Id -Force -ErrorAction SilentlyContinue
+              exit 1
+            }
+            $raw = (Invoke-WebRequest -Uri "http://127.0.0.1:${httpPort}" -UseBasicParsing -TimeoutSec 10).Content
+            if ($raw -is [byte[]]) { $resp = [System.Text.Encoding]::UTF8.GetString($raw) } else { $resp = $raw }
+            Stop-Process -Id $proc.Id -Force -ErrorAction SilentlyContinue
+            Write-Host "=== HTTP response ==="
+            Write-Host $resp
+            if ($resp -match [regex]::Escape($expect)) {
+              Write-Host "PASS: matched /$expect/"
+              exit 0
+            } else {
+              Write-Host "FAIL: did not match /$expect/"
+              exit 1
+            }
+          }
+
           switch ($driver) {
             'multifn-test' {
               $out = & multifn-test $kernel $cpio 2>&1
@@ -842,7 +948,14 @@ jobs:
 
   test-examples-passed:
     if: always()
-    needs: [build-example, runtime-test, package-images-for-windows, runtime-test-windows, pyhl-snapshot-test]
+    needs:
+      [
+        build-example,
+        runtime-test,
+        package-images-for-windows,
+        runtime-test-windows,
+        pyhl-snapshot-test,
+      ]
     runs-on: ubuntu-latest
     permissions: {}
     steps:

examples/dotnet-http/Dockerfile

@@ -0,0 +1,25 @@
+FROM mcr.microsoft.com/dotnet/sdk:9.0-alpine AS build
+WORKDIR /app
+COPY Program.cs KestrelHyperlight.csproj ./
+RUN dotnet publish -c Release -r linux-musl-x64 --self-contained \
+    -p:PublishTrimmed=true \
+    -p:InvariantGlobalization=true \
+    -o /out
+
+FROM scratch AS rootfs
+
+# .NET app + runtime (self-contained)
+COPY --from=build /out/ /app/
+
+# musl dynamic linker
+COPY --from=build /lib/ld-musl-x86_64.so.1 /lib/ld-musl-x86_64.so.1
+
+# C++ runtime libraries (needed by .NET runtime)
+COPY --from=build /usr/lib/libstdc++.so.6 /usr/lib/libstdc++.so.6
+COPY --from=build /usr/lib/libgcc_s.so.1 /usr/lib/libgcc_s.so.1
+
+# --- CPIO rootfs builder (used by: docker build --target cpio) ---
+FROM alpine:3.20 AS cpio
+RUN apk add --no-cache cpio findutils
+COPY --from=rootfs / /rootfs/
+RUN cd /rootfs && find . | cpio -o -H newc > /output.cpio 2>/dev/null

examples/dotnet-http/Justfile

@@ -0,0 +1,49 @@
+# dotnet-http (Kestrel) on Hyperlight
+#
+# just run       - Run the HTTP server (--port implies --net)
+# just rootfs    - Build rootfs via Docker (cross-platform)
+# just build     - Build/pull kernel
+# just clean     - Remove build artifacts
+
+set windows-shell := ["powershell.exe", "-NoLogo", "-Command"]
+export DOCKER_BUILDKIT := "0"
+
+kernel      := ".unikraft/build/dotnet-http-hyperlight_hyperlight-x86_64"
+initrd      := "initrd.cpio"
+memory      := "128Mi"
+image       := "dotnet-http-hyperlight"
+
+# Run the HTTP server (curl http://localhost:8080 to test)
+run:
+    hyperlight-unikraft {{kernel}} --initrd {{initrd}} --memory {{memory}} --port 8080 -- /app/KestrelHyperlight
+
+# Build rootfs via Docker (cross-platform)
+rootfs:
+    docker build --platform linux/amd64 --target cpio -t {{image}}-cpio .
+    - docker rm -f {{image}}-tmp
+    docker create --name {{image}}-tmp {{image}}-cpio /bin/true
+    docker cp {{image}}-tmp:/output.cpio ./{{initrd}}
+    docker rm -f {{image}}-tmp
+
+# Build kernel via kraft (Linux)
+[unix]
+build:
+    -kraft-hyperlight build --plat hyperlight --arch x86_64
+
+# Pull pre-built kernel from GHCR (Windows — no kernel published yet)
+[windows]
+build:
+    Write-Host "No pre-built kernel for dotnet-http yet. Build on Linux first."
+
+# Clean + rebuild everything
+rebuild: clean build rootfs
+
+# Clean build artifacts
+[unix]
+clean:
+    rm -rf .unikraft {{initrd}}
+
+[windows]
+clean:
+    if (Test-Path .unikraft) { Remove-Item -Recurse -Force .unikraft }
+    if (Test-Path {{initrd}}) { Remove-Item -Force {{initrd}} }

examples/dotnet-http/KestrelHyperlight.csproj

@@ -0,0 +1,7 @@
+<Project Sdk="Microsoft.NET.Sdk.Web">
+  <PropertyGroup>
+    <TargetFramework>net9.0</TargetFramework>
+    <ImplicitUsings>enable</ImplicitUsings>
+    <InvariantGlobalization>true</InvariantGlobalization>
+  </PropertyGroup>
+</Project>

examples/dotnet-http/Program.cs

@@ -0,0 +1,13 @@
+var builder = WebApplication.CreateEmptyBuilder(new WebApplicationOptions());
+builder.WebHost.UseKestrelCore();
+
+var app = builder.Build();
+app.Urls.Add("http://0.0.0.0:8080");
+
+app.Run(async context =>
+{
+    await context.Response.WriteAsync("Hello from Kestrel on Hyperlight!");
+});
+
+Console.WriteLine("Listening on :8080");
+await app.RunAsync();