nix: Microkit requires EL2

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Jul 1, 2024 · 354dc5a · 354dc5a
1 parent 8930d92
commit 354dc5a
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";