I was talking about the official Debian project, which is stringent about non-free firmware and patches to the kernel. Mobian and Manjaro ARM are much more len

I was talking about the official Debian project, which is stringent about non-free firmware and patches to the kernel. Mobian and Manjaro ARM are much more lenient about patching up their kernels in the name of device support (perhaps to a fault, but if the images work...).