HermitCore: A C-based, lightweight unikernel - View it on GitHub