Eh, the Operating Systems developer positions were almost certainly for people working on Google's internal operating system. They have a highly tweaked version of Linux running on thier servers. If they were seriously considering a consumer OS release, they would more than likely just buy off a Linux dev company.