[Boot] fix X32 abi config option name

This commit is contained in:
Antoine Viallon 2024-04-04 15:26:02 +02:00
parent d6340f65d1
commit 8c2335f27c
Signed by: aviallon
GPG key ID: 186FC35EDEB25716

View file

@ -18,7 +18,7 @@ let
name = "enable-x32";
patch = null;
extraConfig = ''
X86_X32 y
X86_X32_ABI y
'';
};
enableRTGroupSched = {