Here are the PDFs of both documents:
https://nekernel.org/hefs.pdf
https://nekernel.org/mbci.pdf
https://github.com/nekernel-org/nekernel
I encourage people to build or contribute to this! I think it's worth the effort.
Btw I'm open to work in the U.S (currently based in France), if you're interested, email me!
Perhaps you could submit this as a Show HN, like these: https://news.ycombinator.com/show