A way forward: enabling operating system innovation in the cloud
Unikernels: library operating systems for the cloud