What’s the current state of Unikraft and Solo5? The last commit in the port repository is 2 years old. Does anybody¹ have experience with it or used it recently’ish?

https://github.com/unikraft/plat-solo5

#Solo5 #Unikernel #Unikraft #MirageOS

__
¹ Maybe @yomimono, @hannesm?

Annnd now I can cross-build some #Ocaml packages on #Guix for the #Solo5 hypervisor.
Getting closer to a fully reproducible and bootstrapped #MirageOS hello world unikernel.
UwU

#theWorkshop

#Genode 18.11 is here, in this release we focused on improving quality assurance on various fronts, including static code analysis, on-target test orchestration, and code-coverage measurements.

New features include support for hosting #MirageOS unikernels via #Solo5, a new health-monitoring mechanism, a Genode SDK, an SSH server, and a new window layouter.

Read more at
https://genode.org/documentation/release-notes/18.11

See how it is possible to deploy a #unikernel (like the #mirageos / #solo5 based #keyfender) in #kubernetes, so that it runs from an *unprivileged* container in its own isolated VM, by using the kvm device plugin from #kubevirt! \o/

https://github.com/keyfender/deployment/tree/master/k8s

Good Evening All

I have been working to port #mirageos to #openbsd, i had thought i had completed the hard part by porting #solo5 [1] to #vmm on openbsd.

but now i have been stuck on ocam-freestanding[2] for the last few months, so i am asking the world for a hand!

see the issue[3], PR [4], build files [5] and how to replicate [6]