Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #3348 - mkroening:rm-unix-hermit, r=JohnTitor
Hermit updates This PR does three things related to the Hermit target: 1. Close #3318. Non-unix Hermit has been supported since #1292 and unix Hermit does not exist anymore. 2. Update Hermit docs. [HermitCore/RustyHermit has been renamed to just Hermit.](https://rust-osdev.com/this-month/2023-08/#hermit-os-kernel) I took the chance to simplify the Hermit module's docs. 3. Add the `riscv64gc-unknown-hermit` target to docs and CI (rust-lang/rust#114004).
- Loading branch information