Skip to content

Add a simple unikernel which checks the fact that we can link with switch-installed libraries (and run it) #159

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
dinosaure wants to merge 5 commits into from
Closed

Add a simple unikernel which checks the fact that we can link with switch-installed libraries (and run it) #159

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
474addb
Add a simple unikernel which checks the fact that we can link with sw…
dinosaure Nov 24, 2025
d5a81b3
Add unikernel/README.md
reynir Nov 25, 2025
3d82c03
Add fmt as a library into one of our example
dinosaure Nov 25, 2025
4f6fd1f
Fix the CI to run the example/hello.exe unikernel
dinosaure Nov 25, 2025
2e73ece
Fix dune_gen.ml to generate the right dune.inc file
dinosaure Nov 25, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 15 additions & 1 deletion .github/workflows/test.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ jobs:
*.opam
!ocaml-solo5-cross-aarch64.opam
- name: Install ocaml-solo5 and dune
run: opam install ocaml-solo5 conf-libseccomp dune
run: opam install ocaml-solo5 conf-libseccomp dune fmt
- name: Show the toolchain configuration
run: |
set -x
Expand All @@ -35,3 +35,17 @@ jobs:
run: MODE=muen opam exec -- dune build --root example
- name: Compile examples with xen
run: MODE=xen opam exec -- dune build --root example
- name: Enable KVM group perms
run: |
echo 'KERNEL=="kvm", GROUP="kvm", MODE="0666", OPTIONS+="static_node=kvm"' | sudo tee /etc/udev/rules.d/99-kvm4all.rules
sudo udevadm control --reload-rules
sudo udevadm trigger --name-match=kvm
sudo apt-get update
sudo apt-get install -y libvirt-clients libvirt-daemon-system libvirt-daemon virtinst bridge-utils qemu-kvm qemu-system-x86
sudo usermod -a -G kvm,libvirt $USER
- name: Run a Solo5 unikernel (hvt)
run: |
opam exec -- dune describe location --root example --context solo5 --no-print-directory ./hello.exe &> unikernel.tmp
echo "UNIKERNEL=$(cat unikernel.tmp)" >> $GITHUB_ENV
- name: Run a simple Hello World!
run: opam exec -- solo5-hvt -- "example/$UNIKERNEL"
2 changes: 1 addition & 1 deletion example/dune.inc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
; Force linking the manifest in
-cclib
"-u __solo5_mft1_note")
(libraries solo5os)
(libraries solo5os fmt)
(modes native))

(rule
Expand Down
2 changes: 1 addition & 1 deletion example/dune_gen.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -52,7 +52,7 @@ let print_rule test exitcode extraifs extralibs =
exitcode

let _ =
print_rule "hello" None [] [];
print_rule "hello" None [] ["fmt"];
print_rule "sysfail" (Some 2) [] [];
print_rule "config" None [] [];
print_rule "compilerlibsx86" None
Expand Down
2 changes: 1 addition & 1 deletion example/hello.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
let () = Printf.printf "Hello from OCaml on Solo5!\n%!";;
let () = Fmt.pr "Hello from OCaml on Solo5!\n%!";;
Loading