sentence: x arch linux arm ( hard-float or armhf version ) kali linux ( armhf debian 7 based - focused on security testing ) there exists also three gnu/linux based operating systems specialized on media playback : xbmc geexbox volumio ( armhf debian 7 based ) both the bootloader ( u-boot ) and the kernel are open source and can be found on gitorious and github .