Home: welcome to HermiTux Wiki!

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
• (TBA) How to binary-rewrite system calls to make them faster in static binaries
• (TBA) How to compile a custom kernel containing only the system calls needed for an application
• (TBA) How to checkpoint/restart an application