Penguins in Space! Asteroid mining and Linux

No, Planetary Resource isn't kidding. It’s working on using Linux, open-source software, and commercial off-the-shelf hardware to build the first robotic asteroid miners.