Comment by vidarh

Hobby OSs are dime a dozen but rarely go further for the simple reason that there is little motivation - you need programs to run, which typically means ABI compatibility, and you end up in a quagmire of writing drivers, with few benefits to show for it that you can't get by building something on top of an existing kernel instead.