Update config.txt to match edk2 example

See https://github.com/tianocore/edk2-platforms/blob/master/Platform/RaspberryPi/RPi4/Readme.md#booting-the-firmware
valtzu · Jul 23, 2022 · 5b15abc · 5b15abc
1 parent d15eca8
commit 5b15abc
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/config.txt b/config.txt
@@ -4,3 +4,7 @@ boot_delay=0
 enable_uart=1
 hdmi_force_hotplug=1
 hdmi_safe=1
+enable_gic=1
+disable_commandline_tags=2
+device_tree_address=0x1f0000
+device_tree_end=0x200000