The serverkernel operating system.

Jon Larrea, Antonio Barbalace

Browse the full EuroSys paper archive.