Unikernels in OCaml
Summary
An article introducing unikernels written in OCaml, exploring how minimal VM images can be built for lightweight, specialized deployments.
View Cached Full Text
Cached at: 10/21/26, 08:17 AM
Similar Articles
Hillingar - MirageOS Unikernels on NixOS
This blog post explains how to enable reproducible deployments of MirageOS unikernels using Nix, integrating functional programming for safer and more efficient network applications like DNS servers.
OCaml Onboarding: Introduction to the Dune build system
A practical guide introducing the Dune build system for OCaml, covering project setup, building libraries and executables, and testing.
Unicorn – The Ultimate CPU Emulator
Unicorn is a lightweight, multi-platform CPU emulator framework supporting numerous architectures (ARM, x86, RISC-V, etc.) with a clean API, JIT compilation, and bindings for many languages. It is widely used in cybersecurity and academic research.
A minimal kernel in Swift, running in QEMU
作者用 Embedded Swift 编写了一个极简内核并在 QEMU 的 aarch64 virt 机器上运行，记录了从工具链安装、Package.swift 配置到汇编入口与栈初始化的完整过程，并更新了 Swift 6.3 中新的 @c 属性替代 @_cdecl 的用法。
Maybe we should revisit microkernels
This article argues that modern hardware, particularly IOMMUs, makes microkernels viable again by eliminating overhead from context switches, and suggests revisiting microkernel designs for better security and reliability.