PowerNex: a kernel written in the D Programming Language (github.com)