ev3dev is a Debian based GNU/Linux OS that runs on several LEGO MINDSTORMS compatible platforms http://www.ev3dev.org/ #FOSS #hardware