hermit-detcore
Detcore is the shared deterministic scheduler and syscall handling tool used by Hermit through Reverie.
This crate is part of Hermit, an execution engine for reproducible Linux testing. For installation and run/record/replay examples, see the hermit-run README.
Supported execution targets are x86_64 Linux. The CLI selects the ptrace and KVM execution backends; libraries in this package do not select third-party execution backends. See the CLI README for native build prerequisites, namespace policy, kernel qualification and performance-counter requirements.
License
BSD-3-Clause. See LICENSE.