VxWorks as well, http://www.spacex.com/downloads/dragonlab-datasheet.pdf

From their careers page: "Our Flight Software Group currently has opportunities developing software for embedded flight hardware using Linux and VxWorks as well as ground simulation software using Linux."