What's the lightest (in terms of CPU power) OS for the UP! boards out there ?
I want no GUI, just headless access to a command line via SSH and programmable access to all GPIO pins (incl. all interfaces).
Btw. Are there Python libraries for the board ?