Jon Larrea, Antonio Barbalace. The serverkernel operating system. In Aaron Yi Ding, Richard Mortier, editors, Proceedings of the 3rd International Workshop on Edge Systems, Analytics and Networking, EdgeSys@EuroSys 2020, Heraklion, Greece, April 27, 2020. pages 13-18, ACM, 2020. [doi]
Abstract is missing.