pub const LITEINST_TOOL_RUNTIME_ENV: &str = "HERMIT_LITEINST_TOOL_RUNTIME";
Environment variable naming the in-guest Detcore preload (libdetcore_liteinst.so) explicitly.
libdetcore_liteinst.so