K. Shin: EMERALDS: A Small-Memory Real-Time Microkernel. RTCSA 1999: 338-