From d70b7856bb60a1c7a7d54767dd4588de8d3f8d15 Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jeremy@system76.com>
Date: Tue, 29 Dec 2020 10:56:01 -0700
Subject: [PATCH] Support edk2.config file

---
 scripts/build.sh | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/scripts/build.sh b/scripts/build.sh
index 2429005..1ad9fbf 100755
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -31,7 +31,6 @@ UEFIPAYLOAD="${BUILD}/UEFIPAYLOAD.fd"
 COREBOOT="${BUILD}/firmware.rom"
 USB="${BUILD}/usb.img"
 EDK2_ARGS=(
-    -D USE_HPET_TIMER=FALSE
     -D SHELL_TYPE=NONE
     -D SOURCE_DEBUG_ENABLE=FALSE
 )
@@ -65,6 +64,18 @@ then
     )
 fi
 
+# Add any arguments in edk2.config
+if [ -e "${MODEL_DIR}/edk2.config" ]
+then
+    while read line
+    do
+        if [[ "$line" != "#"* ]]
+        then
+            EDK2_ARGS+=(-D "$line")
+        fi
+    done < "${MODEL_DIR}/edk2.config"
+fi
+
 # Rebuild CorebootPayloadPkg using edk2
 PACKAGES_PATH="${MODEL_DIR}:$(realpath edk2-platforms):$(realpath apps)" \
     ./scripts/_build/edk2.sh \