gentoo.mahdi.cz
virtual
:uefi-shell
UEFI Shell
http://www.tianocore.org/
uefi-shell-2017
BSD-2
download
bgo