search

andreiw / RaspberryPiPkg

DEPRECATED - DO NOT USE | Go here instead ->
https://github.com/tianocore/edk2-platforms/tree/master/Platform/RaspberryPi/RPi3
744 stars 143 forks source link

FADT should report 5.1, not 5.0 #63

Closed andreiw closed 5 years ago

andreiw commented 5 years ago

armBootArch field only exists in 5.1

andreiw commented 5 years ago

Fixed. ARM_BOOT_ARCH is only valid if FADT revision is >= 5.1, while current table reports only 5.0. So, set byte 131 (FADT Minor Revision) to 1.