Hey Drew! Congrats on starting a new micro-kernel OS project (https://drewdevault.com/2022/06/13/helios.html). The GNU/Hurd guys have a lot of knowledge that they could share with you!
When you want to get TCP/IP, you could talk to Joan Lledó <[email protected]> about using lwip, which is a light-weight implementation of the TCP/IP protocol suit https://savannah.nongnu.org/projects/lwip/ Damien Zammit <[email protected]> is working on porting the NetBSD drivers into the Hurd userspace. If you want to use the NetBSD drivers, he would be a good person to ask. Richard Braun <[email protected]> has written a substantial microkernel in C called X15 https://www.sceen.net/x15/. He might have some design ideas for you. Our leader Samuel Thibault <[email protected]> is considered to be a world-class concurrency expert. He's also super friendly too! Thanks, Joshua
