Will Serverless End the Dominance of Linux in the Cloud?
Unikernels: library operating systems for the cloud