As far as I know, the main thing hamstringing native Debian support is that the binary blob required to boot any of the Pi&#x27;s is not DFSG-compliant so Debian won&#x27;t ship images for the Pi. The second biggest thing is that you still need a custom non-mainline kernel.