Píšou tam Linux 3.14 (ne že by to bylo o moc lepší -- já bych tak v některých aplikacích narazil na dřevní btrfs a nepodporu posledního LXC). Ale userspace si u těchto destiček není problém udělat aktuální, já na OrangePi, Cubieboardu i Raspberry2 používám aktuální Debian -- na tom RPi se to i vyplatí, protože Raspbian je zkompilovaný pro ARMv6, a neumí to například NEON instrukce.