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ó <jlle...@member.fsf.org> about using lwip, which is a light-weight implementation of the TCP/IP protocol suit https://savannah.nongnu.org/projects/lwip/ Damien Zammit <dam...@zamaudio.com> 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 <rbr...@sceen.net> 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 <samuel.thiba...@ens-lyon.org> is considered to be a world-class concurrency expert. He's also super friendly too! Thanks, Joshua