The Venus Express VMC (Venus Monitoring Camera) is running RTEMS.

• https://www.mps.mpg.de/4813426/Venus-Express
• http://www.mps.mpg.de/projects/venus-express/vmc/