GitHub repository: ssrg-vt/hermitux
Primary language: C
Description: A binary-compatible unikernel