From: Thomas Glanzmann <thomas@glanzmann.de>
Date: Sun, 4 Dec 2022 17:23:34 +0000 (+0100)
Subject: Merge branch 'master' of 88.198.237.222:/git/m1-debian
X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/ada5f71b6752b1b0263be0bcc4e50e94f486463d?ds=inline;hp=--cc

Merge branch 'master' of 88.198.237.222:/git/m1-debian
---

ada5f71b6752b1b0263be0bcc4e50e94f486463d
diff --cc bootstrap.sh
index 4bf1b0b,469fc88..389ccd4
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@@ -31,9 -31,9 +31,9 @@@ build_linux(
          test -d linux || git clone https://github.com/AsahiLinux/linux
          cd linux
          git fetch -a -t
 -        git reset --hard asahi-6.0-rc6-1; git clean -f -x -d &> /dev/null
 +        git reset --hard asahi-6.1-rc6-5; git clean -f -x -d &> /dev/null
          curl -s https://tg.st/u/40c9642c7569c52189f84621316fc9149979ee65.patch | git am -
-         cat ../../config > .config
+         cat ../../config-16k.txt > .config
          make olddefconfig
          make -j `nproc` V=0 bindeb-pkg > /dev/null
  )