Comment Comment by shanemhansen I'd think something like Rump Kernel's is a closer analogue: https://en.wikipedia.org/wiki/Rump_kernel parent shanemhansen 11 months ago