home.social

#solo5 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #solo5, aggregated by home.social.

fetched live
  1. Csepp 🌢 @[email protected] ·

    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

    #theworkshop #mirageos #solo5 #guix #ocaml
  2. Genode @[email protected] ·

    ...

    - 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

    fosdem.org/2019/schedule/track

    #helenos #solo5
  3. Genode @[email protected] ·

    #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
    genode.org/documentation/relea

    #solo5 #mirageos #genode