Debian packaging

[adrelanos]

Could you please provide a Debian package? And/or a /debian packaging folder?

Not necessarily for packages.debian.org. Also a third party deb would be good.

I don't know how realistic such a request is. But I also hope to find out...

Did anyone run this kernel on Debian (buster) yet, what were your experiences? Anyone has any instructions for this?

[Bernhard40]

IMO packaging is some downstream job. Here are only pure kernel sources which are distro agnostic. Anyway adding one more patch to debian kernels should be trivial to do (assuming you are familiar with debian kernels packaging already).

[anthraxx]

We are only providing sources here, there won't be any precompiled versions of the hardened kernel available. I'm just also an Arch Linux packager, but that doesn't mean we want to provide official precompiled releases