This is the LInux Resource Kernel developed and managed by  Real-Time and Multimedia Systems Lab of CMU