Yay for the first unikernel paper getting the ASPLOS most influential paper award, and some reflections on it anil.recoil.org/notes/uniker...
Unikernels wins the ASPLOS most influential paper award
anil.recoil.org
April 13, 2025 at 12:47 PM
Yay for the first unikernel paper getting the ASPLOS most influential paper award, and some reflections on it anil.recoil.org/notes/uniker...
Gave a talk earlier this week about some recent work on hardware-assisted secure Unikernels: speakerdeck.com/kayceesrk/se....
Securing the foundations: Hardware-assisted secure Unikernels
MirageOS Unikernels running baremetal on security-hardened Shakti RISC-V processors
speakerdeck.com
November 29, 2024 at 11:02 AM
Gave a talk earlier this week about some recent work on hardware-assisted secure Unikernels: speakerdeck.com/kayceesrk/se....
Ye como tú propio lego pero en SO 😁
Pero ya toy muy mayor y tengo mucho lío. Aparte que ahora para lo que se podría usar ya hay soluciones empaquetadas tipo firecracker, unikernels...
Pero ya toy muy mayor y tengo mucho lío. Aparte que ahora para lo que se podría usar ya hay soluciones empaquetadas tipo firecracker, unikernels...
September 30, 2026 at 10:56 AM
Ye como tú propio lego pero en SO 😁
Pero ya toy muy mayor y tengo mucho lío. Aparte que ahora para lo que se podría usar ya hay soluciones empaquetadas tipo firecracker, unikernels...
Pero ya toy muy mayor y tengo mucho lío. Aparte que ahora para lo que se podría usar ya hay soluciones empaquetadas tipo firecracker, unikernels...
Unikernels: Library Operating Systems for the Cloud [2014]
By: Anil Madhavapeddy, Richard Mortier, Balraj Singh, et al.
https://cacm.acm.org/magazines/2014/1/170866-unikernels/fulltext
#paperswelove #research #compsci
By: Anil Madhavapeddy, Richard Mortier, Balraj Singh, et al.
https://cacm.acm.org/magazines/2014/1/170866-unikernels/fulltext
#paperswelove #research #compsci
April 18, 2026 at 1:58 AM
Unikernels: Library Operating Systems for the Cloud [2014]
By: Anil Madhavapeddy, Richard Mortier, Balraj Singh, et al.
https://cacm.acm.org/magazines/2014/1/170866-unikernels/fulltext
#paperswelove #research #compsci
By: Anil Madhavapeddy, Richard Mortier, Balraj Singh, et al.
https://cacm.acm.org/magazines/2014/1/170866-unikernels/fulltext
#paperswelove #research #compsci
We 1k stars on https://github.com/Solo5/solo5/ (#unikernel)! Proud to maintain such project.
GitHub - Solo5/solo5: A sandboxed execution environment for unikernels
A sandboxed execution environment for unikernels. Contribute to Solo5/solo5 development by creating an account on GitHub.
github.com
September 30, 2026 at 7:05 AM
We 1k stars on https://github.com/Solo5/solo5/ (#unikernel)! Proud to maintain such project.
ok well that was a day 🙃
fuck operating systems, fuck kernels, fuck companies
from now on we only use unikernels written in OCaml
operating systems are bullshit
fuck operating systems, fuck kernels, fuck companies
from now on we only use unikernels written in OCaml
operating systems are bullshit
July 20, 2024 at 1:01 AM
ok well that was a day 🙃
fuck operating systems, fuck kernels, fuck companies
from now on we only use unikernels written in OCaml
operating systems are bullshit
fuck operating systems, fuck kernels, fuck companies
from now on we only use unikernels written in OCaml
operating systems are bullshit
really should be lower, I want my gizmos running async rust unikernels
July 31, 2025 at 6:52 PM
really should be lower, I want my gizmos running async rust unikernels
Tarides is announcing Unikraft support for MirageOS unikernels! This new MirageOS backend offers performance benefits and future multicore compatibility 🤔
November 20, 2025 at 12:30 PM
Tarides is announcing Unikraft support for MirageOS unikernels! This new MirageOS backend offers performance benefits and future multicore compatibility 🤔
Great little post on the @unikraft.com blog about using unikernels with the @cncf.io project #hyperlight: unikraft.org/blog/2026-06...
like that boot-to-main()! (and that VM is < 1MB, so density.... which means cost down)
like that boot-to-main()! (and that VM is < 1MB, so density.... which means cost down)
July 14, 2026 at 8:43 AM
Great little post on the @unikraft.com blog about using unikernels with the @cncf.io project #hyperlight: unikraft.org/blog/2026-06...
like that boot-to-main()! (and that VM is < 1MB, so density.... which means cost down)
like that boot-to-main()! (and that VM is < 1MB, so density.... which means cost down)
Video of Hannes Mehnert's #BOBkonf2026 talk "Run your own digital infrastructure using MirageOS unikernels" is now up on our website!
bobkonf.de/2026/mehnert... #BOBkonf
bobkonf.de/2026/mehnert... #BOBkonf
June 29, 2026 at 11:33 AM
Video of Hannes Mehnert's #BOBkonf2026 talk "Run your own digital infrastructure using MirageOS unikernels" is now up on our website!
bobkonf.de/2026/mehnert... #BOBkonf
bobkonf.de/2026/mehnert... #BOBkonf
The last block of talks on track A at #BOBkonf2026 starts with Hannes Mehnert and "Run your own digital infrastructure using MirageOS unikernels"
March 13, 2026 at 4:35 PM
The last block of talks on track A at #BOBkonf2026 starts with Hannes Mehnert and "Run your own digital infrastructure using MirageOS unikernels"
Hear me out: Unikernels.
June 11, 2025 at 8:50 PM
Hear me out: Unikernels.
With a single statement, Go now allows FIPS 140-3 mode.
This effortlessly aids compliance in bare metal TamaGo applications, whether used as bootloaders, TEEs or application unikernels.
go.dev/doc/security...
This effortlessly aids compliance in bare metal TamaGo applications, whether used as bootloaders, TEEs or application unikernels.
go.dev/doc/security...
July 21, 2025 at 9:20 AM
With a single statement, Go now allows FIPS 140-3 mode.
This effortlessly aids compliance in bare metal TamaGo applications, whether used as bootloaders, TEEs or application unikernels.
go.dev/doc/security...
This effortlessly aids compliance in bare metal TamaGo applications, whether used as bootloaders, TEEs or application unikernels.
go.dev/doc/security...
🎉 Prisma Postgres is production-ready!
It's the first database built on unikernels and comes with these features:
✅ No cold starts
✅ Global cache
✅ Real-time events
✅ Built-in connection pooling
✅ Simple and predictable pricing
✅ A generous free tier
More info 👇
It's the first database built on unikernels and comes with these features:
✅ No cold starts
✅ Global cache
✅ Real-time events
✅ Built-in connection pooling
✅ Simple and predictable pricing
✅ A generous free tier
More info 👇
February 3, 2025 at 3:01 PM
🎉 Prisma Postgres is production-ready!
It's the first database built on unikernels and comes with these features:
✅ No cold starts
✅ Global cache
✅ Real-time events
✅ Built-in connection pooling
✅ Simple and predictable pricing
✅ A generous free tier
More info 👇
It's the first database built on unikernels and comes with these features:
✅ No cold starts
✅ Global cache
✅ Real-time events
✅ Built-in connection pooling
✅ Simple and predictable pricing
✅ A generous free tier
More info 👇
And following Go 1.25.6 release, TamaGo package and compilers 1.25.6 are released as well.
This release brings pure Go unikernels to Google Compute Engine and AMD SEV-SNP support (both in GCP and local QEMU)!
Following this TARGET=gcp is now added to:
github.com/usbarmory/ta...
This release brings pure Go unikernels to Google Compute Engine and AMD SEV-SNP support (both in GCP and local QEMU)!
Following this TARGET=gcp is now added to:
github.com/usbarmory/ta...
January 16, 2026 at 11:14 AM
And following Go 1.25.6 release, TamaGo package and compilers 1.25.6 are released as well.
This release brings pure Go unikernels to Google Compute Engine and AMD SEV-SNP support (both in GCP and local QEMU)!
Following this TARGET=gcp is now added to:
github.com/usbarmory/ta...
This release brings pure Go unikernels to Google Compute Engine and AMD SEV-SNP support (both in GCP and local QEMU)!
Following this TARGET=gcp is now added to:
github.com/usbarmory/ta...
You can find more about this on github.com/hyperlight-d...
GitHub - hyperlight-dev/hyperlight-unikraft: Run Unikraft unikernels on Hyperlight
Run Unikraft unikernels on Hyperlight. Contribute to hyperlight-dev/hyperlight-unikraft development by creating an account on GitHub.
github.com
May 14, 2026 at 3:21 PM
You can find more about this on github.com/hyperlight-d...
First TamaGo unikernel with working SMP under UEFI + AMD SEV-SNP.
This enables multiprocessor pure GO confidential unikernels!
I will expose SMP initialization APIs from both UEFI (StartupAllAPs) and SEV-SNP (GHCB Create AP).
This enables multiprocessor pure GO confidential unikernels!
I will expose SMP initialization APIs from both UEFI (StartupAllAPs) and SEV-SNP (GHCB Create AP).
June 3, 2026 at 3:19 PM
First TamaGo unikernel with working SMP under UEFI + AMD SEV-SNP.
This enables multiprocessor pure GO confidential unikernels!
I will expose SMP initialization APIs from both UEFI (StartupAllAPs) and SEV-SNP (GHCB Create AP).
This enables multiprocessor pure GO confidential unikernels!
I will expose SMP initialization APIs from both UEFI (StartupAllAPs) and SEV-SNP (GHCB Create AP).
It would be really bizarre to go deep on unikernels, right?
October 28, 2024 at 2:01 AM
It would be really bizarre to go deep on unikernels, right?
Check out the new Unikraft backend for MirageOS. Samuel Hym shared the goals, design, benchmarks, and more about the new feature on the blog: tarides.com/blog/2025-11...
Announcing Unikraft Support for MirageOS Unikernels
Get an overview of the Unikraft backend support for MirageOS, including performance benchmarks on different devices.
tarides.com
January 30, 2026 at 11:07 AM
Check out the new Unikraft backend for MirageOS. Samuel Hym shared the goals, design, benchmarks, and more about the new feature on the blog: tarides.com/blog/2025-11...
Needing security software to push updates makes sense when every system has a potentially massive attack surface and bad actors are fast and intelligent. But why does every system need to be so complex? It’d be nice to see more well tested and memory safe software running on unikernels I think.
July 20, 2024 at 3:31 AM
Needing security software to push updates makes sense when every system has a potentially massive attack surface and bad actors are fast and intelligent. But why does every system need to be so complex? It’d be nice to see more well tested and memory safe software running on unikernels I think.
[OCaml Planet AI] New Mollymawk capabilities: managing heterogeneous VM setups where MirageOS unikernels interact with other VMs. Bridges the gap between experimental unikernels and production deployment requirements.
https://blog.robur.coop/articles/mollymawk-other.html
https://blog.robur.coop/articles/mollymawk-other.html
Robur's blog - Mollymawk supporting other virtual machines
blog.robur.coop
April 17, 2026 at 1:00 PM
[OCaml Planet AI] New Mollymawk capabilities: managing heterogeneous VM setups where MirageOS unikernels interact with other VMs. Bridges the gap between experimental unikernels and production deployment requirements.
https://blog.robur.coop/articles/mollymawk-other.html
https://blog.robur.coop/articles/mollymawk-other.html
Estoy intentando estos días incorporar formas usables para el día a día de dos innovaciones en infraestructura informática: microvms y unikernels. De momento van ganando ellos, pero lo conseguiré. Poner las innovaciones tecnológicas a nivel de uso cotidiano es una personalidad y es la mía!!!!
July 26, 2026 at 3:07 PM
Estoy intentando estos días incorporar formas usables para el día a día de dos innovaciones en infraestructura informática: microvms y unikernels. De momento van ganando ellos, pero lo conseguiré. Poner las innovaciones tecnológicas a nivel de uso cotidiano es una personalidad y es la mía!!!!