The Serverkernel Operating System

Jon Larrea, Antonio Barbalace

Research output: Chapter in Book/Report/Conference proceedingConference contribution


With the idea of exploiting all the computational resources that an IoT environment with multiple interconnected devices offers, serverkernel is presented as a new operating system architecture that blends ideas from distributed operating systems, Unikernel, and LWK. These concepts are mixed with a server in which a user can remotely offload computations and get the result. This single space-address operating system (OS) can be interpreted as a bare-metal OS in which only drivers for CPU, network, and accelerators are required in order to provide service.

To demonstrate the advantages of serverkernel, jonOS, an open-source C implementation of this architecture for Raspberry Pi, is provided. Compared with commercial architectures used in IoT devices, serverkernel achieves an improvement ratio of 1.5 in CPU time, 2.5 in real-time, and around 9 times better in network speed.
Original languageEnglish
Title of host publicationProceedings of the Third ACM International Workshop on Edge Systems, Analytics and Networking
Place of PublicationNew York, NY, USA
PublisherACM Association for Computing Machinery
Number of pages6
ISBN (Print)9781450371322
Publication statusPublished - 27 Apr 2020
Event3rd International Workshop on Edge Systems, Analytics and Networking - Heraklion, Crete, Greece
Duration: 27 Apr 202027 Apr 2020


Conference3rd International Workshop on Edge Systems, Analytics and Networking
Abbreviated titleEdgeSys 2020
CityHeraklion, Crete


  • operating systems
  • IoT
  • unikernel
  • FaaS
  • serverkernel


Dive into the research topics of 'The Serverkernel Operating System'. Together they form a unique fingerprint.

Cite this