diff options
| author | bors <bors@rust-lang.org> | 2019-10-26 19:35:59 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-10-26 19:35:59 +0000 |
| commit | fae75cd216c481de048e4951697c8f8525669c65 (patch) | |
| tree | 157e46f84638aa1fa3b0339ced417876e8ca209a /src/tools | |
| parent | 46e6c533d08a2c6d22083a2756a0b569e001c3c4 (diff) | |
| parent | 805a330ab4c7f33421acacbee0545f6991b2fc70 (diff) | |
| download | rust-fae75cd216c481de048e4951697c8f8525669c65.tar.gz rust-fae75cd216c481de048e4951697c8f8525669c65.zip | |
Auto merge of #65167 - hermitcore:rusty-hermit, r=alexcrichton
Redesign the interface to the unikernel HermitCore We are developing the unikernel HermitCore, where the kernel is written in Rust and is already part of the Rust Standard Library. The interface between the standard library and the kernel based on a small C library. With this pull request, we remove completely the dependency to C and use lld as linker. Currently, the kernel will be linked to the application as static library, which is published at https://github.com/hermitcore/libhermit-rs. We don’t longer support the C interface to the kernel. Consequently, we remove this part from the Rust Standard Library.
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/build-manifest/src/main.rs | 2 | ||||
| -rw-r--r-- | src/tools/tidy/src/deps.rs | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/build-manifest/src/main.rs b/src/tools/build-manifest/src/main.rs index c0d2deab2f8..2a189a92f4b 100644 --- a/src/tools/build-manifest/src/main.rs +++ b/src/tools/build-manifest/src/main.rs @@ -52,6 +52,7 @@ static TARGETS: &[&str] = &[ "aarch64-linux-android", "aarch64-pc-windows-msvc", "aarch64-unknown-cloudabi", + "aarch64-unknown-hermit", "aarch64-unknown-linux-gnu", "aarch64-unknown-linux-musl", "aarch64-unknown-redox", @@ -136,6 +137,7 @@ static TARGETS: &[&str] = &[ "x86_64-unknown-linux-musl", "x86_64-unknown-netbsd", "x86_64-unknown-redox", + "x86_64-unknown-hermit", ]; static DOCS_TARGETS: &[&str] = &[ diff --git a/src/tools/tidy/src/deps.rs b/src/tools/tidy/src/deps.rs index 8e46ca6cd29..e6ea1c75e28 100644 --- a/src/tools/tidy/src/deps.rs +++ b/src/tools/tidy/src/deps.rs @@ -181,6 +181,7 @@ const WHITELIST: &[Crate<'_>] = &[ Crate("winapi-util"), Crate("winapi-x86_64-pc-windows-gnu"), Crate("wincolor"), + Crate("hermit-abi"), ]; // Some types for Serde to deserialize the output of `cargo metadata` to. |