UEFI / EDK2 on the Rock 5B

might be useful :slight_smile: