3 ms·
That's not what a microkernel is. A microkernel is a kernel that pushes services traditionally included in the kernel, such as networking, out into userspace.
by talideon 3y ago
That's not what a microkernel is. A microkernel is a kernel that pushes services traditionally included in the kernel, such as networking, out into userspace.
The closest things to what you're describing are unikernels and NetBSD rump kernels.
- packetlost 3y agoYeah, further down I realized I was crossing wires and was thinking of a Unikernel. My bad!