feat: add all verified seL4-kernel targets

The `aarch64`, `arm-hyp-exynos5` and `imx8mm` targets where missing
DLR-FT · Oct 20, 2024 · 687ece2 · 687ece2
1 parent 7292aff
commit 687ece2
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -104,9 +104,18 @@
           #
           microkit-sdk = pkgs.microkit-sdk;
 
+
           #
           ### seL4 verified kernel flavours
           #
+          seL4-kernel-aarch64 = pkgsCrossAarch64.callPackage pkgs/seL4-kernel.nix {
+            verifiedConfig = "AARCH64_verified";
+          };
+
+          seL4-kernel-arm-hyp-exynos5 = pkgsCrossArmv7l.callPackage pkgs/seL4-kernel.nix {
+            verifiedConfig = "ARM_HYP_exynos5_verified";
+          };
+
           seL4-kernel-arm-hyp = pkgsCrossArmv7l.callPackage pkgs/seL4-kernel.nix {
             verifiedConfig = "ARM_HYP_verified";
           };
@@ -115,6 +124,10 @@
             verifiedConfig = "ARM_MCS_verified";
           };
 
+          seL4-kernel-arm-imx8mm = pkgsCrossArmv7l.callPackage pkgs/seL4-kernel.nix {
+            verifiedConfig = "ARM_imx8mm_verified";
+          };
+
           seL4-kernel-arm = pkgsCrossArmv7l.callPackage pkgs/seL4-kernel.nix {
             verifiedConfig = "ARM_verified";
           };
@@ -131,6 +144,7 @@
             verifiedConfig = "X64_verified";
           };
 
+
           #
           ### seL4 kernel + userspace flavours
           #

diff --git a/pkgs/seL4-kernel.nix b/pkgs/seL4-kernel.nix
@@ -16,8 +16,11 @@
 let
   # known seL4 configs
   knownVerifiedConfigs = [
+    "AARCH64_verified"
+    "ARM_HYP_exynos5_verified"
     "ARM_HYP_verified"
     "ARM_MCS_verified"
+    "ARM_imx8mm_verified"
     "ARM_verified"
     "RISCV64_MCS_verified"
     "RISCV64_verified"