As described In README, some configuration options are provided via /sys/kernel/debug/hermit. However, some options do not exist in source code (e.g., no /sys/kernel/debug/hermit/swap_thread and /sys/kernel/debug/hermit/prefetch_thread in source code).