nix: Microkit requires EL2

Signed-off-by: Nick Spinale <nick@nickspinale.com>
seL4 · Jul 1, 2024 · 8600a31 · 8600a31
1 parent 1827d09
commit 8600a31
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hacking/nix/scope/worlds.nix b/hacking/nix/scope/worlds.nix
@@ -104,7 +104,7 @@ in rec {
           el2 = mk { smp = true; hypervisor = true; };
           el2MCS = mk { smp = true; hypervisor = true; mcs = true; };
           microkit = mk {
-            el2 = false;
+            el2 = true;
             mcs = true;
             isMicrokit = true;
             microkitBoard = "qemu_virt_aarch64";