From 687ece2e53f6fcf78a0168a9ab3c848140ae1536 Mon Sep 17 00:00:00 2001
From: wucke13 <wucke13@gmail.com>
Date: Fri, 18 Oct 2024 22:09:48 +1100
Subject: [PATCH] feat: add all verified seL4-kernel targets

The `aarch64`, `arm-hyp-exynos5` and `imx8mm` targets where missing
---
 flake.nix            | 14 ++++++++++++++
 pkgs/seL4-kernel.nix |  3 +++
 2 files changed, 17 insertions(+)

diff --git a/flake.nix b/flake.nix
index beffbf8..e52ca6a 100644
--- 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
index 9b97feb..9dad0b6 100644
--- 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"