From: Jörg Behrmann Date: Wed, 27 Jul 2022 19:08:20 +0000 (+0200) Subject: Merge pull request #1060 from DaanDeMeyer/debian-kernel-install-workaround X-Git-Tag: v14~105 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6a12a76c30d8b563cfbe8f0ba0d1d180bccd2ab5;p=thirdparty%2Fmkosi.git Merge pull request #1060 from DaanDeMeyer/debian-kernel-install-workaround Move debian/ubuntu kernel-install workaround to a kernel-install script --- 6a12a76c30d8b563cfbe8f0ba0d1d180bccd2ab5