home.social

#mirageos — Public Fediverse posts

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

fetched live
  1. Then, two years after developing this scheduler, the next step was to build a library on top of it for #unikernels. We followed the same pattern:
    - we sat down to think very hard
    - and we talked with others to broaden our perspective

    And so, two years ago, we developed mkernel (github.com/robur-coop/mkernel) and presented it at the last #MirageOS retreat.

  2. Then, two years after developing this scheduler, the next step was to build a library on top of it for #unikernels. We followed the same pattern:
    - we sat down to think very hard
    - and we talked with others to broaden our perspective

    And so, two years ago, we developed mkernel (github.com/robur-coop/mkernel) and presented it at the last #MirageOS retreat.

  3. MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across various cloud computing and mobile platforms.
    github.com/mirage/mirage

    #MirageOS #Unikernel

  4. MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across various cloud computing and mobile platforms.
    github.com/mirage/mirage

    #MirageOS #Unikernel

  5. I finally wrote an article about the last #MirageOS retreat (#OCaml). It's available here: blog.osau.re/articles/last_mir Enjoy reading!

  6. I finally wrote an article about the last #MirageOS retreat (#OCaml). It's available here: blog.osau.re/articles/last_mir Enjoy reading!

  7. @catsalad @Viss @foone That's one case where unikernels like #MirageOS are really tweaking my interest.

    Basically picture a flock of tiny Xen VMs working together, each of which is compiled with only the types of access it needs. Don't need a network? Then there is no network interface, no drivers. Ditto filesystem, etc.
    mirageos.org/

  8. @catsalad @Viss @foone That's one case where unikernels like #MirageOS are really tweaking my interest.

    Basically picture a flock of tiny Xen VMs working together, each of which is compiled with only the types of access it needs. Don't need a network? Then there is no network interface, no drivers. Ditto filesystem, etc.
    mirageos.org/

  9. Some news from our robur.coop cooperative :tada:, @reynir did a release of GPTar with some insights about `bsdtar`: blog.robur.coop/articles/gptar. One my side, I revived our SMTP stack and started some experimentations about mailing-lists: blog.robur.coop/articles/2024- #OCaml #MirageOS

  10. 💥New episode from our Software Freedom Podcast!💥

    🎧Listen to a deeply interesting conversation with @hannesm one of the #MirageOS core developers. and learn more about MirageOS, modular systems, reproducible builds and functional programming:

    fsfe.org/news/podcast/episode-

    #freesoftware #softwarefreedom