NetBSD is a very portable BSD-licensed operating system. This is CoreCLR, the open source .NET framework from Microsoft. Why is this important? Programs for NetBSD can be run in a stripped down NetBSD kernel and libc (a unikernel) called rumpkernel, which can be run on any platform, including on bare metal. It is also extremely minimal - an operating system image for nethack was a mere 4MB. Rump can also run on any a…
How is the rump kernel any different than a unikernel?
The idea is to run directly on the hypervisor/hardware, and they both do that.
In actuality they're pretty far from each-other but conceptually they are the same.
Here is the rumprun unikernel: