I am sort of bound to using the packaged kernel source, since I wanted to minimize the changes (applying only *ONE* known debugging patch) and also get a nice deb to install on the laptop.
I'll have to check the earlier suggestion of the environment variable, if that works with no further changes it's perfect for me :) Il giorno lun 14 gen 2019 alle ore 16:19 Thomas Pircher <thp+deb...@p5r.uk> ha scritto: > Andrea Borgia wrote: > > I'm using this command from within the unpacked kernel source: > > fakeroot debian/rules binary > > If you are not bound to using Debian's packaged kernel source, then you > could simply use the bindeb-pkg target of the vanilla kernel. For example: > > cp /path/to/working/kernel-config .config > make -j 16 clean oldconfig bindeb-pkg > > Thomas > >