Debian's Linux kernel is not needed nor useful on Arch Linux. Also the former is not a drop-in replacement for the latter, due to them stripping out some modules.
On 18 December 2023 20:58:36 GMT+01:00, myself600@tutanota.de wrote:
I would like to appeal against PRQ#52152, which claims that the uploaded package is a duplicate. The package uses Debian's Linux kernel as source which (as was communicated to the TU and also stated on the package page) moves non-free (non-DFSG compliant) parts to separate packages*, making it a drop-in replacement for Arch's kernel for people who want to use a 100% free kernel, while also retaining the ability to load those parts individually.