From b98a77d59900f51a9a9a01b5ced7b2c2a0120a8b Mon Sep 17 00:00:00 2001
From: Alasdair <alasdair.armstrong@cl.cam.ac.uk>
Date: Wed, 26 Jun 2024 19:34:31 +0100
Subject: [PATCH] Add some additional registers to the Arm v9.4 config

---
 configs/armv9p4.toml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/configs/armv9p4.toml b/configs/armv9p4.toml
index 103c6e5..22304a7 100644
--- a/configs/armv9p4.toml
+++ b/configs/armv9p4.toml
@@ -217,6 +217,11 @@ ignore = [
 
 "PSTATE.nRW" = "0b0"
 
+"SCR_EL3" = "{ bits = 0x0000000000000401 }"
+"HCR_EL2" = "{ bits = 0x0000000080000000 }"
+
+"VTCR_EL2" = "{ bits = 0x0000000000000000 }"
+
 # A map from register names that may appear in litmus files to Sail
 # register names
 [registers.renames]