search

imbushuo / NintendoSwitchPkg

WIP UEFI EDK2 Implementation for Nintendo Switch or generic Tegra210 platforms
GNU General Public License v2.0
271 stars 21 forks source link

GICv2 bring-up #2

Closed imbushuo closed 5 years ago