Citation:
Molesky LD, Ramamritham K, Shen C, Stankovic JA, Zlokapa G. Implementing a Predictable Real-Time Multiprocessor Kernel -- The Spring Kernel, in The Seventh IEEE Workshop on Real-Time Operating Systems and Software. Charlottesville, VA: IEEE ; 1990.