sencha/bancha: track upstream changes for CHERIoT core version
Change-Id: I49d2e625fbe35f57319b7b2231485019ad0555cb
diff --git a/shodan_infrastructure/MpactCheriotCPU.cs b/shodan_infrastructure/MpactCheriotCPU.cs
index 211b05e..20c060d 100644
--- a/shodan_infrastructure/MpactCheriotCPU.cs
+++ b/shodan_infrastructure/MpactCheriotCPU.cs
@@ -97,6 +97,11 @@
config_names.Add("dCache");
config_values.Add(dcache_config);
}
+ // If the core version is greater than 0.5, add it to the config.
+ if (core_version > 50) {
+ config_names.Add("coreVersion");
+ config_values.Add(core_version.ToString("X"));
+ }
}
public bool InstProfile {
@@ -129,6 +134,11 @@
set => dcache_config = value;
}
+ public uint CoreVersion {
+ get => core_version;
+ set => core_version = value;
+ }
+
// ICPUWithHooks methods.
public void AddHookAtInterruptBegin(Action<ulong> hook) {
@@ -205,6 +215,7 @@
private UInt64 revocationMemBase;
private UInt64 clint_mmr_base = 0x0;
private UInt64 clint_period = 0;
+ private uint core_version = 50; // Default is 50 (v0.5).
private string icache_config = "";
private string dcache_config = "";
private List<GDBFeatureDescriptor>
