#unikernel — Public Fediverse posts

Another day, another cool tech to check out! The NanoVM folks posted a great tutorial for GitRoot on YouTube.

They demonstrate how to manage GitRoot via Git running inside a NanoVM. Haven't used NanoVMs much myself, but gotta admit it looks pretty slick. A lightweight VM for a lightweight Git forge? Makes total sense ;)

https://www.youtube.com/watch?v=g5nW9g5T4wU

#nanoVm #unikernel #vm #forge #git #video

Furthermore, taking the time to sit down, think things through, and discuss ideas with others can help find solutions faster than expected.

So, as I mentioned, we began developing our first unikernel with mkernel a year ago with Chaos, an NTP server implemented as a #unikernel. This phase is more about testing and initiating an improvement cycle. The problem is that this can take time: we may realize that a design decision isn’t quite right for a particular use case. But we keep going...

A year ago, I started implementing a ntp server in #OCaml. I had finished the big part: the client side, which combines multiple sources. Recently, I got back to this project and implemented the server side, which turned out not to be that difficult at all. Today, the #unikernel is available on osau.re:123, and my ntpd selects it as a synchronization source! The project is available here: https://github.com/robur-coop/chaos. It’s still experimental, so let’s see how it holds up over the long term.

I’ve been working for several days now on an old #unikernel that I started back in 2022. Four years on, it incorporates our latest work on mkernel, mnet, #OCaml 5 and vif, which has allowed me to redeploy it on my server. https://paste.osau.re/ is now available again! It’s a good example of how to build a unikernel today. All the code is available here for those who are curious: https://github.com/dinosaure/pasteur. The deployment user experience is also much better than it was with Albatross and aussi!

I've finally finished my implementation of SSH for unikernels in #OCaml. For this example, I've used @reynir project to implement a #unikernel that offers a chat service (like IRC) via SSH. So now we have an engine for providing a TUI within a unikernel that doesn’t even recognise the concept of a console (thanks to lwd)!

I just made a new release of Solo5 (https://github.com/solo5/solo5) and it improves our #unikernel (specially the networking) for Linux (we can transfer 3 times more data per second)! It paves the good way for next things.

One Open-source Project Daily

A minimal, resource efficient unikernel for cloud services

https://github.com/includeos/IncludeOS

#1ospd #opensource #cpp #operatingsystem #unikernel #virtualization

A little dream comes true! We just deployed an #unikernel in #OCaml which is a search engine through the old caml-list: https://caml-list.robur.coop/ :tada:. It's a full operating system which is able to search and serve a little website. It is worth archiving and keeping accessible a whole section of caml’s history.

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

#MirageOS #Unikernel

#urunc: a WASM unikernel container runtime for Kubernetes
https://archive.fosdem.org/2025/schedule/event/fosdem-2025-6292-wasm-meets-unikernels-secure-and-efficient-cloud-native-deployments/

#fosdem #unikernel #wasm #k8s

Nice! 😍:

“Writing An Operating System Kernel From Scratch”, Uros Popovic (https://popovicu.com/posts/writing-an-operating-system-kernel-from-scratch/).

Via HN: https://news.ycombinator.com/item?id=45240682

On Lobsters: https://lobste.rs/s/aokjpu/writing_operating_system_kernel_from

#OSDev #OS #Kernel #Programming #RISCV #OperatingSystem #Unikernel

@fabi1cazenave KaiOS being basically a #unikernel on top of Android HAL is not clear to me why it was impossible for KaiOS Tech to push upgrade 2.5 to 3.1. Bad licensing choices?

I just spent probably two week to implement a #NTP server as an #unikernel in #OCaml. It was pretty... tuff! My recent outcome is that my "skew" is ~3.5e-7 where chrony has a skew around 1e-6. In other words, the error is overall smaller in my implementation than in chrony's.

I will continue to compare metrics, but it is quite satisfying to confirm the suitability of unikernels for this type of service.

Unikernel Linux (UKL) (2023)

https://dl.acm.org/doi/10.1145/3552326.3587458

#HackerNews #Unikernel #Linux #UKL #2023 #virtualization #unikernels #techinnovation

People sometimes ask which #unikernel we actively use (as proof of our work). Currently, https://paste.osau.re is a unikernel in #OCaml, and it has been running (without interruption) for over a year. Feel free to use this service (free of charge) to share code snippets, and if you like what we do, you can sponsor us via GitHub (https://github.com/sponsors/robur-coop).

🚀🤡 "Breaking news: some geniuses put #Chromium on a #unikernel, because why not make web browsing even more existentially confusing? Meanwhile, #GitHub still insists that #AI can fix everything, except maybe their own navigation menu. 🤖✨"
https://github.com/onkernel/kernel-images #WebBrowsing #TechNews #HackerNews #ngated

We Put Chromium on a Unikernel (OSS Apache 2.0)

https://github.com/onkernel/kernel-images

#HackerNews #Chromium #Unikernel #OSS #Apache2.0 #TechNews #OpenSource

I did few works for these days to be able to build-up an #unikernel with #OCaml 5 and #effects (via miou-solo5: https://github.com/robur-coop/miou-solo5). And now, the unikernel can respond to (a simple Hello World!) 🎉 with µTCP (https://github.com/robur-coop/utcp) it's a great achievement!

i'm really proud of my team at #prisma today, we're launching some very cool tech

#postgres #postgresql #yetAnotherServerlessPostgres #unikernel #unikraft

OSv is the open-source versatile modular #unikernel designed to run unmodified Linux applications securely on micro-VMs in the cloud. https://osv.io

My conference at #ICFP2024 about Bob was just published here: https://www.youtube.com/watch?v=COmi9e7wHtI&ab_channel=ACMSIGPLAN It's a simple tool to transfer files in #OCaml and an #unikernel. It is also an actually portable executable, thanks to #Cosmopolitan. It's available here: https://bob.osau.re/