FlightLinux is a concept developed by NASA Advanced Information System Technology (AIST) research that uses a real-time variation of the open source Linux Operating System for onboard spacecraft use.

http://flightlinux.gsfc.nasa.gov/