> I played with RedoxOS a bit in a virtual machine a few years ago, and it seemed cool, so maybe that can be the logical successor to something like Hurd.

A problem with RedoxOS is that it is not GPLed: contributors have no assurance that they and others will be able to use software built with their contributions.

Microsoft, Apple, Google and Facebook all have plenty of money to pay engineers; they don’t need my contributions for free.