Hey everyone,
Here are some links as promissed! Please do let me know if I forgot anything.
Thingsquare Code: http://thingsquare.com/code/
Redwire dev boards: - info https://github.com/malvira/libmc1322x/wiki/hardware - web store: http://www.redwirellc.com/store - for european distributor try these guys: http://www.oflabs.com/#/redwire-econotag/ - Flexibity: http://www.flexibity.com/
There is also this one that I forgot to mention, it's an module for RPi: https://github.com/Noolitic/Nooliberry/wiki/Full-Documentation
There many more devices out there, such as the Z1: www.zolertia.com/ti
And more interesting ones are coming as Thingsquare partners with chip vendors. Personally, I'm looking forward the sub-GHz radios from TI.
http://thingsquare.com/mist/#platforms
For a C64/128, Atari and Apple ][ disk images: http://www.a2retrosystems.com/contiki.html
Cheers,