However, Linux distros aren't the only open-source operating systems. There are plenty in use today besides Linux. Some date ...

We show how our hthreads hardware microkernel provides these characteristics for scalable numbers of threads and processors. A hardware-based microkernel approach also provides ISA-neutral OS services ...