Google’s Android mobile software platform goes open source - what I hadn’t realised is that it’s actually based on the linux kernel, amongst other things.