#unikernel — Public Fediverse posts

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

#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

#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

#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

#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/

#sydbox-3.27.0 has been released! This release adds support to set secure-execution mode (aka AT_SECURE) and IP blocklists which can be used to build application level firewalls. #sydbox is a rock-solid #unikernel to #sandbox apps on #Linux >=5.19 written in #rustlang: https://is.gd/syd_3_27_0 #exherbo

A new release of #ocaml-tar, a retrospective: https://blog.robur.coop/articles/tar-release.html #MirageOS #unikernel #OCaml

B · o · B, a universal peer to peer file-transfer in #OCaml with an #unikernel was accepted for the #OCaml workshop. You can see details here: https://icfp24.sigplan.org/details/ocaml-2024-papers/2/B-o-B-a-universal-secure-file-transfer-software-in-OCaml See you in Milan! I'm happy that robur.coop has a place in such event.

Measuring Unikernel Cold Boot Time with Perf
https://nanovms.com/dev/tutorials/measuring-unikernel-cold-boot-time-with-perf
#ycombinator #perf #unikernel #cold_boot_time #wasm #TTFB #serverless

@mathiasx just spit-balling here ...

#Erlang all the things!

#Unikernel all the things!

And I do wonder how #Yunohost or #Nix / #Guix or #FreedomBox / #LibreServer / #Sandstorm handle all this ...

We also took time to implement a mirror of the #opam repository as an #unikernel that we currently use, you can see the annoucement here: https://discuss.ocaml.org/t/ann-opam-mirror-a-mirageos-unikernel-that-provides-an-opam-repository-and-cache/10549