DELL VRTX for Linux?

From: Mike Harrison 

Mike Bell, a regional Dell rep stopped by our office yesterday
and showed off some slides and remote management interfaces for these:

Dell PowerEdge VRTX  "Shared Infrastructure Platform"

Which seems to hit a sweet spot for the kinds of things we do.
They are fairly new, and he and his materials were Microsoft 

Anyone running Linux on these or know anyone with some experience with 
them running Linux (Redhat-ish or Debian-ish)?