@c64whiz@oldbytes.space It's been a while, but I remember trying out the L4 kernel (microkernel). I've never tried the Mach (Gnu hurd) kernel yet though.