Will Serverless End the Dominance of Linux in the Cloud? https://dl.acm.org/doi/pdf/10.1145/3102980.3103008