Redox OS
"that there is probably space for a research / hobbyist OS to be built from ground up using modern paradigms"
I see theres a microkernel called redox os written in rust... its early days... theres no usb drivers yet and form what limited experiance i have could only emulate it ....
I also read that Linus Torvards said microkernels were a bit pointless...and that he could see kernel drivers being written in rust