http://www.linuxdevices.com/news/NS8137978310.html /Linux blasts off in U.S. tactical satellite/ "The PowerPC CPUs are running a modified version of the DENX ELDK 3.1 Linux 2.4.25. The bootloader is U-Boot 1.1.2." Very cool stuff. gvb