The serverkernel operating system

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]

@inproceedings{LarreaB20,
  title = {The serverkernel operating system},
  author = {Jon Larrea and Antonio Barbalace},
  year = {2020},
  doi = {10.1145/3378679.3394537},
  url = {https://doi.org/10.1145/3378679.3394537},
  researchr = {https://researchr.org/publication/LarreaB20},
  cites = {0},
  citedby = {0},
  pages = {13-18},
  booktitle = {Proceedings of the 3rd International Workshop on Edge Systems, Analytics and Networking, EdgeSys@EuroSys 2020, Heraklion, Greece, April 27, 2020},
  editor = {Aaron Yi Ding and Richard Mortier},
  publisher = {ACM},
  isbn = {978-1-4503-7132-2},
}