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).
rust-lang · Sep 21, 2023 · 6f31de3 · 6f31de3
2 parents e3e237d + 54f63b7
commit 6f31de3
Show file tree

Hide file tree

Showing 7 changed files with 3 additions and 1,039 deletions.
diff --git a/Cargo.toml b/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",

diff --git a/ci/build.sh b/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 \

diff --git a/src/hermit/mod.rs b/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;

diff --git a/src/unix/hermit/aarch64.rs b/src/unix/hermit/aarch64.rs