Upstream https://github.com/tianocore/edk2 Debian: https://packages.debian.org/sid/source/edk2 Arch: https://archlinux.org/packages/extra/any/edk2-shell/