From 8c2335f27c61f87b2ee9185cc1c2372f0407b530 Mon Sep 17 00:00:00 2001
From: Antoine Viallon <antoine@lesviallon.fr>
Date: Thu, 4 Apr 2024 15:26:02 +0200
Subject: [PATCH] [Boot] fix X32 abi config option name

---
 boot.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boot.nix b/boot.nix
index 369a8fc..8d74a65 100644
--- a/boot.nix
+++ b/boot.nix
@@ -18,7 +18,7 @@ let
       name = "enable-x32";
       patch = null;
       extraConfig = ''
-        X86_X32 y
+        X86_X32_ABI y
       '';
     };
     enableRTGroupSched = {