On Sat, 2016-01-16 at 03:22 +0100, Diederik de Haas wrote: > Hi! > > I have a Raspberry Pi 1B, 1B+ and 2B and I'd love to test Debian's 4.4 kernel > for it. At least it is/was my understanding that the versatile kernel is > meant > for the Raspberry Pi.
The versatile kernel is meant for ARM "veratile" development boards, and it also happens to be a reasonable platform emulated by QEMU. It's not "versatile" in the sense of "adaptable". I wasn't aware that any of the RPi support (for any model) had gone upstream. In any case for the RPi variants which use the older (non-armhf) processor you are most likely better off with the Raspbian derived distro than Debian armel. For the variant with the newer CPU core which is armhf compatible we should consider enabling support in the armhf kernels, for which support being in the mainline kernel is a prerequisite. Ian.

