Ralf Mardorf wrote:
A PPA, perhaps kxstudio, might provide linux-rt for
the OP's distro.
Tried that, haven't found anything like rt or preepmt kernel there.
<A nice detailed Debian-specific instruction and
explanation skipped>
Thank you, the make-kpkg procedure looks convenient, since that way I'm
getting a native deb. If there's no binary alternative, that's probably
the way I'll be building my kernel.
Artem