Original source code for Secure Boot Encryption with Linux by Rodolfo Giometti - View it on GitHub