Sorry, I should have been more clear: your point was about architectural differences. I find unikernels and distributed operating systems like plan 9 very archi

Sorry, I should have been more clear: your point was about architectural differences. I find unikernels and distributed operating systems like plan 9 very architecturally different (for reasons I'm sure you know). I'd probably include microkernels like Minix 3 as well. But monolithic kernels, like Linux, BSD, and Solaris, being architecturally different? I think if your goal was to explore different kernel architecture, you'd be better off looking at the others, as these are relatively similar. I think you'd even agree!