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

...

- Hardware/Software Co-Design for Efficient Microkernel Execution
- #Solo5: A sandboxed, re-targetable execution environment for unikernels
- Evolution of file system and disk management in #HelenOS
- Operating System hardening : Dealing with external interrupts
- The impact of Meltre and Specdown on microkernel systems

https://fosdem.org/2019/schedule/track/microkernels_and_component_based_os/

#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