"ChronOS Linux: a best-effort real-time multiprocessor Linux kernel."

Matthew Dellinger, Piyush Garyali, Binoy Ravindran (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics