GitHub repository: vicenteicc2008/EDK2-Tegra
Description: EDK2 UEFI Implementation for Nvidia Tegra Devices