The US Air Force launched TacSat-2 (tactical satellite)
which runs Free Software developed by DENX Software Engineering:
the Embedded Linux Development Kit ELDK),
the U-Boot boot loader and
the DENX 2.4.25 Linux tree.
Illustration of TacSat-2 satellite
For full story please see http://www.linuxdevices.com/news/NS8137978310.html
OS Installtion Image You can Download Here // Rocket , Satellite