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).

Author: bors

Cargo.toml

@@ -84,6 +84,7 @@ targets = [
     "riscv32imac-unknown-none-elf",
     "riscv32imc-unknown-none-elf",
     "riscv64gc-unknown-freebsd",
+    "riscv64gc-unknown-hermit",
     "riscv64gc-unknown-linux-gnu",
     "riscv64gc-unknown-linux-musl",
     "riscv64gc-unknown-none-elf",

ci/build.sh

@@ -253,6 +253,7 @@ riscv32imac-unknown-none-elf \
 riscv32imc-unknown-none-elf \
 riscv32gc-unknown-linux-gnu \
 riscv64gc-unknown-freebsd \
+riscv64gc-unknown-hermit \
 riscv64gc-unknown-linux-musl \
 riscv64gc-unknown-none-elf \
 riscv64imac-unknown-none-elf \

src/hermit/mod.rs

@@ -1,7 +1,4 @@
-// libc port for HermitCore (https://hermitcore.org)
-//
-// Ported by Colin Fink <colin.finck@rwth-aachen.de>
-//       and Stefan Lankes <slankes@eonerc.rwth-aachen.de>
+//! Hermit C types definition
 
 pub type c_schar = i8;
 pub type c_uchar = u8;