Enable kernel HardwareDebugAPI

The zynqmp config.cmake has `KernelHardwareDebugAPIUnsupported`
on for some reason, so will have to look into that.

RISC-V seems unsupported in general.

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>

Author: Ivan-Velickovic

Cargo.lock

@@ -12,12 +12,12 @@ members = [
 ]
 
 [workspace.dependencies.sel4-capdl-initializer]
-git = "https://github.com/seL4/rust-sel4"
-rev = "7a2321f2d84310ba7a09fe7f5988e6dcecde3566"
+git = "https://github.com/au-ts/rust-sel4"
+rev = "9102a134c2b5925d17e021280a3d104e79805221"
 
 [workspace.dependencies.sel4-capdl-initializer-types]
-git = "https://github.com/seL4/rust-sel4"
-rev = "7a2321f2d84310ba7a09fe7f5988e6dcecde3566"
+git = "https://github.com/au-ts/rust-sel4"
+rev = "9102a134c2b5925d17e021280a3d104e79805221"
 
 [profile.release.package.microkit-tool]
 strip = true

Cargo.toml

@@ -445,7 +445,14 @@ class KernelPath:
             "KernelPrinting": True,
             "KernelVerificationBuild": False
         },
-        kernel_options_arch={},
+        kernel_options_arch={
+            KernelArch.AARCH64: {
+                "HardwareDebugAPI": True,
+            },
+            KernelArch.X86_64: {
+                "HardwareDebugAPI": True,
+            }
+        },
     ),
     ConfigInfo(
         name="benchmark",