Jochen Liedtke Kevin Elphinstone Sebastian Schönberg Hermann Härtig Gernot Heiser Nayeem Islam Trent Jaeger Achieved IPC Performance. 28-31 1997 Workshop on Hot Topics in Operating Systems db/conf/hotos/hotos97.html#LiedtkeESHHIJ97