VeraCrypt EFI Bootloader for EFI Windows system encryption (LGPL) - View it on GitHub