HermiTux

HermiTux is a unikernel binary-compatible with Linux: it can run native Linux executables. It supports multiple compiled (C, C++, Fortran) and interpreted (Python, LUA) languages. It provides binary analysis and rewriting techniques to optimize system call latency and modularize a kernel in the presence of unmodified binaries. It supports statically and dynamically linked programs, different compilers and optimization levels. HermiTux also provides basic support for multithreading, debugging and profiling.

• Website: https://ssrg-vt.github.io/hermitux/
• Code: https://github.com/ssrg-vt/hermitux
• Contact: