//! Name reservation placeholder for `hermit-detcore`.
//!//! This crate reserves the `hermit-detcore` name for the Hermit/Reverie deterministic
//! execution project (<https://github.com/rrnewton/hermit>). Real functionality will be published here.
#![doc(html_root_url ="https://docs.rs/hermit-detcore")]