Merge pull request tock#4145 from jwnrt/opentitan-bitmanip

Enable RISC-V bitmanip extensions for OpenTitan

Makefile

@@ -552,7 +552,7 @@ ci-job-cargo-test-build:
 
 
 ### ci-runner-github-qemu jobs:
-QEMU_COMMIT_HASH=0ff5ab6f57a2427a3e83969b2e7dd71e04caae39
+QEMU_COMMIT_HASH=abb1565d3d863cf210f18f70c4a42b0f39b8ccdb
 define ci_setup_qemu_riscv
 	$(call banner,CI-Setup: Build QEMU)
 	@# Use the latest QEMU as it has OpenTitan support

boards/cargo/riscv_bitmanip.toml

@@ -0,0 +1,11 @@
+# Licensed under the Apache License, Version 2.0 or the MIT License.
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+# Copyright Tock Contributors 2024.
+
+# bitmanip instruction support for RISC-V.
+
+[build]
+rustflags = [
+  # These are the ratified bitmanip extensions supported by LLVM.
+  "-Ctarget-feature=+zba,+zbb,+zbc,+zbs",
+]

boards/opentitan/earlgrey-cw310/.cargo/config.toml

@@ -6,6 +6,7 @@ include = [
   "../../../cargo/tock_flags.toml",
   "../../../cargo/unstable_flags.toml",
   "../../../cargo/riscv_flags.toml",
+  "../../../cargo/riscv_bitmanip.toml",
   "../../../cargo/virtual_function_elimination.toml",
   "../../../cargo/panic_abort_tests.toml",
 ]