Dietpi is a small operating system that runs on the Raspberry Pi lines of ‘microcomputers’. These little guys can also do Extensions.