From 354dc5a9169e28e694cf4d041bc8b19e44dbf875 Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Mon, 1 Jul 2024 10:09:43 +0000
Subject: [PATCH] nix: Microkit requires EL2

Signed-off-by: Nick Spinale <nick@nickspinale.com>
---
 hacking/nix/scope/worlds.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hacking/nix/scope/worlds.nix b/hacking/nix/scope/worlds.nix
index 92cc3fbb8..4af1d86b5 100644
--- 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";