Realtime Linux: academics kind of scarce!

The group I work in at Stanford Linear Accelerator Center is quite interested in real-time Linux and we've had a (long) series of meetings to discuss our strategy as we migrate at least in part from VxWorks/VME and RTEMS/m68K. My boss agreed with me that having a PhD or Master's student work on a related problem (say multicore scheduling) would be useful. I started poking around the conference proceedings looking for profs at UC Berkeley, Stanford, San Jose State or Santa Clara University to collaborate with, and I don't think there are any. As far as I can tell, there are no faculty interested in any aspect of Linux at these distinguished universities. That's sad given their histories. Is it a worrisome sign for Linux? I don't know, but certainly having local CS departments discussing Linux couldn't hurt. Industrial interest in Linux (including RT embedded) continues to grow locally.