/* begin *

   EDK2 UEFI firmware 0.9.1.1 (for Orange Pi 5 board)

   TianoCore is the open source implementation of the Unified
   Extensible Firmware Interface (UEFI). EDK II is a modern,
   feature-rich, cross-platform firmware development environment
   for the UEFI and UEFI Platform Initialization (PI) specifications.

   This package contains the firmware for Rockchip RK3588 platforms.

   GitHub: https://github.com/edk2-porting/edk2-rk3588

 * end */