UEFI EDK II, TPM minting, QEMU launcher and basic DHCP support
Test Plan:
You still need a recent version of QEMU and swtpm installed (these are not yet integrated)
Run `make launch` and have fun with a running Smalltown instance :)
X-Origin-Diff: phab/D159
GitOrigin-RevId: c7245bfbabebf92507445525bee009a71d19caea
diff --git a/scripts/fetch_third_party.sh b/scripts/fetch_third_party.sh
new file mode 100755
index 0000000..c9edaca
--- /dev/null
+++ b/scripts/fetch_third_party.sh
@@ -0,0 +1,6 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+mkdir -p third_party/linux
+curl -L https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.19.72.tar.xz | tar -xJf - -C third_party/linux --strip-components 1
+ln -fs ../../kernel/linux-smalltown.config third_party/linux/.config
\ No newline at end of file