InfoQ Homepage microkernel Content on InfoQ
News
RSS Feed-
QCon London 2026: Fixing the AI Infra Scale Problem by Stuffing 1M Sandboxes in a Single Server
Unikraft CEO Felipe Huici demonstrated waking the one-millionth VM on a commodity server in ten milliseconds at QCon London. The talk traced a decade from academic unikernel research to a platform offering stateless scale-to-zero VMs with full isolation. Using Firecracker and VM snapshots, sleeping workloads resume instantly, turning server density from a hardware problem into a scheduling one.
-
Secure Microkernel seL4 Reaches Version 7
Version 7.0.0 of the seL4 high-assurance microkernel has been released, bringing with it an alternate CMake-based build system with support for out-of-tree builds and interactive configuration.