diff options
| author | Pete Batard <pete@akeo.ie> | 2020-03-03 13:08:13 +0000 |
|---|---|---|
| committer | Ard Biesheuvel <ard.biesheuvel@linaro.org> | 2020-03-03 15:06:46 +0100 |
| commit | da7cb41190b3f722c257dec41331d1d4151c843a (patch) | |
| tree | abf5e13d972edb0773574ad15932e7582cc6e891 /Platform/RaspberryPi/RPi3 | |
| parent | 874750ae77f77957a107ad41d716a23c6b697a31 (diff) | |
Platform/RPi: Make Device Tree provision a runtime (BIOS setup) choice
With this and the previous commit, ACPI_BASIC_MODE_ENABLE becomes
superfluous so remove it.
New option defaults to enabled on Pi 3, disabled on Pi 4.
Signed-off-by: Pete Batard <pete@akeo.ie>
Reviewed-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>
Diffstat (limited to 'Platform/RaspberryPi/RPi3')
| -rw-r--r-- | Platform/RaspberryPi/RPi3/RPi3.dsc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Platform/RaspberryPi/RPi3/RPi3.dsc b/Platform/RaspberryPi/RPi3/RPi3.dsc index 48e1a32e..91d5738a 100644 --- a/Platform/RaspberryPi/RPi3/RPi3.dsc +++ b/Platform/RaspberryPi/RPi3/RPi3.dsc @@ -446,6 +446,11 @@ gRaspberryPiTokenSpaceGuid.PcdRamLimitTo3GB|L"RamLimitTo3GB"|gConfigDxeFormSetGuid|0x0|0
#
+ # Device Tree
+ #
+ gRaspberryPiTokenSpaceGuid.PcdOptDeviceTree|L"OptDeviceTree"|gConfigDxeFormSetGuid|0x0|1
+
+ #
# Common UEFI ones.
#
|