Building the system image does not build a kernel from source. The ingredients to the system image build process are existing Debian repositories, one of them the MNT repository.
Yes. I wrote that script and I’m the author of the software that the script uses to create the system (mmdebstrap). So you can ask me anything about this topic. There are multiple ways to do what you want:
- add another mirror address which contains your kernel packages
- put the kernel packages into the
./repodirectory where they will get picked up from the script - build the image without modifications and then copy the kernel to the flashed sd-card afterwards
- use a
--customize-hookto download and install arbitrary (kernel) packages - use a
copy-inhook to copy kernel image binaries into place - add a meta-package which pulls in your kernel via
--include - hook into the tarball creation via
mmtarfilterand pass your kernel binaries to the/bootpartition that way
I’m sure there are more creative ways.