From: Thomas Glanzmann <thomas@glanzmann.de>
Date: Sat, 5 Mar 2022 13:02:10 +0000 (+0100)
Subject: put back the 4k kernel
X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/273d748d39533187276e96bf42c100e95d96cf77?hp=-c

put back the 4k kernel
---

273d748d39533187276e96bf42c100e95d96cf77
diff --git a/bootstrap.sh b/bootstrap.sh
index e6b5427..fa07bcb 100644
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -27,7 +27,8 @@ build_linux()
         cd linux
         git fetch
         git reset --hard origin/asahi; git clean -f -x -d &> /dev/null
-        curl -s https://tg.st/u/config-2022-03-04-16k > .config
+        curl -s https://tg.st/u/0001-4k-iommu-patch.patch | git am -
+        curl -s https://tg.st/u/config-2022-03-04-4k > .config
         make olddefconfig
         make -j `nproc` V=0 bindeb-pkg > /dev/null
 )