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!