Actually, it does. (Score 1)

See page 11 of their DARPA Grand Challenge entry document (http://www.darpa.mil/grandchallenge05/TechPapers/ Stanford.pdf). It runs Linux, the software is written in C/C++, and it uses IPC for communication between the various components.

(This was pointed out by an AC elsewhere in this thread),