Every time I see Linux used in a project like this, it feels like hitting a trim nail with a sledgehammer. I hadn't seen mbed OS prior to this article, and after perusing the documentation and checking license (apache), I have to say I'm pretty stoked about it. mbed os seems to be far better suited for tiny / lightweight devices than Linux ... anybody used it in an actual project? Have any thoughts to share?