| commit | bb8a2f0af7d5a9fbbcd9953c99936dd0b03aaddd | [log] [tgz] |
|---|---|---|
| author | Tor Jeremiassen <torerik@google.com> | Wed Sep 11 10:23:35 2024 -0700 |
| committer | Tor Jeremiassen <torerik@google.com> | Wed Sep 11 10:32:36 2024 -0700 |
| tree | 12f154524b8f29ecb390c421e6f511b4d0f9b6bc | |
| parent | 1275c4e87a2e74eb287d7a6fe3b6fc053d8ec6db [diff] |
Add support for aarch64 PiperOrigin-RevId: 673443795 Change-Id: I1c07e011824641e9c67bd6198d7f378e826edb93
diff --git a/cheriot/BUILD b/cheriot/BUILD index 4085f38..a08047b 100644 --- a/cheriot/BUILD +++ b/cheriot/BUILD
@@ -42,6 +42,11 @@ values = {"cpu": "darwin_arm64"}, ) +config_setting( + name = "aarch64", + values = {"cpu": "aarch64"}, +) + mpact_isa_decoder( name = "riscv_cheriot_isa", src = "riscv_cheriot.isa",