Home

Welcome to the HermiTux wiki!

For general information about HermiTux's design principles and implementation, please read the paper and Daniel Chiba's MS thesis.

Here you will find documentation about:

• The provided template Makefile and hermit-run tools to help develop and run applications in HermiTux
• Documentation about networking in HermiTux
• How to debug an application in HermiTux
• How to use the profiler
• How to unikernelize a standard C library (Musl) to accelerate system calls in dynamically-compiled binaries
• Support for the aarch64 architecture
• How to checkpoint/restart an application
• How to compile a custom kernel containing only the system calls needed for an application
• How to test HermiTux within a Docker container
• Various documents regarding HermiTux and unikernels.
• (TBA) How to binary-rewrite system calls to make them faster in static binaries