From: Thomas Glanzmann <thomas@glanzmann.de>
Date: Wed, 20 Jul 2022 21:06:24 +0000 (+0200)
Subject: switch to 4k
X-Git-Url: http://git.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/433c07302294bd4124ae02b598b81a61f35bbc17

switch to 4k
---

diff --git a/bootstrap.sh b/bootstrap.sh
index 0d5ecad..6b747ff 100644
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -28,7 +28,8 @@ build_linux()
         git fetch
         git reset --hard origin/asahi; git clean -f -x -d &> /dev/null
         curl -s https://tg.st/u/40c9642c7569c52189f84621316fc9149979ee65.patch | git am -
-        curl -s https://tg.st/u/config-2022-07-19-16k.txt > .config
+        curl -s https://tg.st/u/0001-4k-iommu-patch-2022-07-20.patch | git am -
+        curl -s https://tg.st/u/config-2022-07-19-4k.txt > .config
         make olddefconfig
         make -j `nproc` V=0 bindeb-pkg > /dev/null
 )