TY - GEN
T1 - Towards Highly Specialized, POSIX-compliant Software Stacks with Unikraft: Work-in-Progress
AU - Santhanam, Sharan
AU - Kuenzer, Simon
AU - Lefeuvre, Hugo
AU - Huici, Felipe
AU - Jung, Alexander
AU - Pagani, Santiago
AU - Muraru, George-Cristian
AU - Stabellini, Stefano
AU - He, Justin
AU - Beri, Jonathan
N1 - Funding Information:
VI. ACKNOWLEDGEMENTS This paper has received funding from the EU’s Horizon 2020 research and innovation programme under grant agreement numbers 825377 (UNICORE) and 871793 (ACCORDION).
Publisher Copyright:
© 2020 IEEE.
Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.
PY - 2020/9/20
Y1 - 2020/9/20
N2 - Increasingly, embedded devices are being equipped with ARM processors. Because of ease-of-use and widespread support for drivers and applications, Linux is often used as the OS of choice, even though it consumes a significant amount of the device’s limited resources and its large attack surface presents opportunities for exploits. In this paper we propose Unikraft, a fully librarized operating system and build tool which allows for generating specialized OSes and software stacks targeting specific applications, while removing unneeded functionality. As a proof of concept, we port Unikraft to the Raspberry Pi 3 B+ and to a Xilinx Ultra96-V2. On these boards, Unikraft is able to boot in 88-158 milliseconds, consume only hundreds of KBs of memory when running real-world application such as NGINX, all the while providing visible reductions in power consumption compared to Linux distributions. Unikraft is an open source project and can be found at unikraft.org.
AB - Increasingly, embedded devices are being equipped with ARM processors. Because of ease-of-use and widespread support for drivers and applications, Linux is often used as the OS of choice, even though it consumes a significant amount of the device’s limited resources and its large attack surface presents opportunities for exploits. In this paper we propose Unikraft, a fully librarized operating system and build tool which allows for generating specialized OSes and software stacks targeting specific applications, while removing unneeded functionality. As a proof of concept, we port Unikraft to the Raspberry Pi 3 B+ and to a Xilinx Ultra96-V2. On these boards, Unikraft is able to boot in 88-158 milliseconds, consume only hundreds of KBs of memory when running real-world application such as NGINX, all the while providing visible reductions in power consumption compared to Linux distributions. Unikraft is an open source project and can be found at unikraft.org.
KW - embedded systems
KW - operating systems
U2 - 10.1109/EMSOFT51651.2020.9244044
DO - 10.1109/EMSOFT51651.2020.9244044
M3 - Conference contribution
VL - 2020 International Conference on Embedded Software (EMSOFT)
BT - Towards Highly Specialized, POSIX-compliant Software Stacks with Unikraft: Work-in-Progress
PB - IEEE
CY - Singapore, Singapore
ER -