Contiki is a tiny, open source operating system that few people know about. Plus: VLC adds Chromecast support to desktop and mobile apps, and a review of GoboLinux 015 by DistroWatch.