rust compiler fork (with stubbed-out sel4 support) - View it on GitHub