Bootstrapping VM for bare metal to trusted C compilation - View it on GitHub