Forgot to add this:

http://blog.darknedgy.net/technology/2015/08/26/0/

Others are watching this project with suspicion, too. Check out this excellent rebuttal on the DarknEdgy blog, which suggests, among other criticisms, that the Mach microkernel is an anachronism.