ยงHermit Kernel
This is the kernel of the Hermit unikernel project.
For details, see the docs.
This crate is no longer distributed via crates.io.
To upgrade, use the crate via Git instead:
-hermit-kernel = "0.11"
+hermit-kernel = { git = "https://github.com/hermit-os/kernel.git", tag = "v0.13.0" }