Unfortunately it hasn't been open sourced. We're debating how / when to do this right now.

Confusing, since this is specific to an architecture that no one making money will use (8B is consumer space, not enterprise). The produced code shouldn't hold much interesting IP?