News for hackers. Stuff that matters.

A comment on FreeBSD on Firecracker. Parent comment

Re:FreeBSD on Firecracker by talideon on Friday August 25, 2023 @05:31AM (#37259743)
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.

[ Parent | on HN ]
Re:FreeBSD on Firecracker by packetlost on Friday August 25, 2023 @01:37PM (#37264621)
Yeah, further down I realized I was crossing wires and was thinking of a Unikernel. My bad!
[ Parent | on HN ]