"Die" Echtzeit-Patches?

Ist damit Thomas Gleixners "PREEMPT_RT" gemeint, oder hat da RedHat etwas eigenes entwickelt?

Oder setzten die gar auf Xenomai, RTAI o.ä. ?