CI: Remove explicit build-std for kernel

.github/workflows/doc.yml

@@ -26,9 +26,10 @@ jobs:
       - uses: actions/checkout@v3
       - name: Rustup (apply rust-toolchain.toml)
         run: rustup show
+      - run: rustup target add aarch64-unknown-none-softfloat
       - name: Doc
         env:
           RUSTDOCFLAGS: -D warnings
         run: |
-          cargo doc -Z build-std=core,alloc --package libhermit-rs --no-deps --document-private-items --target x86_64-unknown-none
-          cargo doc -Z build-std=core,alloc --package libhermit-rs --no-deps --document-private-items --target aarch64-unknown-none-softfloat
+          cargo doc --package libhermit-rs --no-deps --document-private-items --target x86_64-unknown-none
+          cargo doc --package libhermit-rs --no-deps --document-private-items --target aarch64-unknown-none-softfloat

.github/workflows/publish_docs.yml

@@ -21,7 +21,7 @@ jobs:
           sudo apt-get update
           sudo apt-get install nasm
       - name: Generate documentation
-        run: cargo doc -Zbuild-std=core,alloc --target x86_64-unknown-none --package libhermit-rs
+        run: cargo doc --target x86_64-unknown-none --package libhermit-rs
       - name: Generate index.html
         run: |
           cat > target/x86_64-unknown-none/doc/index.html <<EOL

.gitlab-ci.yml

@@ -55,11 +55,11 @@ test:integration:
     - lscpu
     - kvm-ok
     - python3 --version
-    - HERMIT_LOG_LEVEL_FILTER=Debug cargo test --test '*' --no-fail-fast -Z build-std=core,alloc 
-        -Z build-std-features=compiler-builtins-mem --no-default-features --features=pci,acpi 
+    - HERMIT_LOG_LEVEL_FILTER=Debug cargo test --test '*' --no-fail-fast
+        --no-default-features --features=pci,acpi 
         --target x86_64-unknown-none -- --veryverbose
-    - HERMIT_LOG_LEVEL_FILTER=Debug cargo test --test '*' --no-fail-fast -Z build-std=core,alloc 
-        -Z build-std-features=compiler-builtins-mem --no-default-features --features=pci,acpi 
+    - HERMIT_LOG_LEVEL_FILTER=Debug cargo test --test '*' --no-fail-fast
+        --no-default-features --features=pci,acpi 
         --target x86_64-unknown-none -- --num_cores 2
         --veryverbose
   tags: