Since the past year the PC industry is flooded by tiny, Linux-powered PCs like Raspberry Pi , but it is not the…