They probably wrote some special drivers for Tesla.Yes, we talked with one of the firmware developers. He said the Linux-based OS was provided by Nvidia as part of their chipset package.
I guess the Model S is running the 2.6.X kernel, not 3.X yet with some closed-source drivers from nVidia.