For a 100% libre kernel, I feel like this is the more sensible option than Hurd, just to take advantage of all the effort that goes into the Linux kernel. I’m not knowledgeable on kernels in the first place though, so maybe a micro-kernel really is the best way to go once you figure out the proper architecture.