add profiling config

Signed-off-by: Krishnan Winter <krishnan-git@wintermail.me>

Author: Kswin01

build_sdk.py

@@ -348,6 +348,18 @@ class ConfigInfo:
             "KernelBenchmarks": "track_utilisation"
         },
     ),
+    ConfigInfo(
+        name="profiling",
+        debug=True,
+        kernel_options={
+            "KernelArmExportPMUUser": True,
+            "KernelDebugBuild": True,
+            "KernelPrinting": True,
+            "KernelVerificationBuild": False,
+            "KernelBenchmarks": "track_utilisation",
+            "ProfilerEnable": True
+        },
+    )
 )
 
 

tool/microkit/src/sel4.rs

@@ -36,6 +36,7 @@ pub enum MicrokitConfig {
     Debug,
     Benchmark,
     Release,
+    Profiling,
 }
 
 impl MicrokitConfig {
@@ -44,6 +45,7 @@ impl MicrokitConfig {
             "debug" => MicrokitConfig::Debug,
             "release" => MicrokitConfig::Release,
             "benchmark" => MicrokitConfig::Benchmark,
+            "profiling" => MicrokitConfig::Profiling,
             _ => panic!("Invalid microkit configuration provided!"),
         }
     }