BTW, the Demikernel will be open-sourced shortly .. as soon as I return from giving a talk at KubeCon Europe.