Hi, both raspberry-pi and cubietruck now runs the latest rsbac kernel 4.1 Linux raspberry-pi 4.1.15-rsbac-5+ #7 Thu Jan 7 20:20:54 CET 2016 armv6l BCM2708 GNU/Linux Linux jaschtschik 4.1.15-rsbac-4+ #3 SMP Wed Jan 6 14:50:49 CET 2016 armv7l Allwinner sun7i (A20) Family GNU/Linux