This file helps Tock build with stale toolchains The current set of toolchains that need support are: The toolchain specified in rust-toolchain.toml Cheri toolchain (rust 1.67)
pub use core;