Good luck with Helios a new microkernel!

[jbranso]

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ó 
<jlledom@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 <damien@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 <rbraun@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.thibault@ens-lyon.org> is considered to be a
world-class concurrency expert.  He's also super friendly too!

Thanks,

Joshua