Re: RMS: users request you perhaps program HURD: they fear the path the linux kernel is going.

Nanokernel is smaller, picokernel is the smallest.

Re: RMS: users request you perhaps program HURD: they fear the path the linux kernel is going.

https://en.wikipedia.org/wiki/Exokernel . Do you think exokernel is much better than microkernel? Or would you make a nanokernel instead of microkernel?

Re: RMS: users request you perhaps program HURD: they fear the path the linux kernel is going.

There are more kernel types, e.g., https://en.wikipedia.org/wiki/Exokernel . Moreover, some DRMs are free software, because their full name is Direct Rendering Manager, some things have the same initialism.