From 7002c15677dcc285028cff85d30c64da1fcf7879 Mon Sep 17 00:00:00 2001
From: Luke Granger-Brown <git@lukegb.com>
Date: Wed, 22 Sep 2021 22:26:33 +0000
Subject: [PATCH] linuxKernel.kernels.linux_5_13_hardened: fix build

BTF cannot be enabled at the same time as the RANDSTRUCT GCC plugin, so
we need to mark it as optional. Alas.
---
 pkgs/os-specific/linux/kernel/common-config.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/os-specific/linux/kernel/common-config.nix b/pkgs/os-specific/linux/kernel/common-config.nix
index 38bb2c4ebd07..717fdaee72a5 100644
--- a/pkgs/os-specific/linux/kernel/common-config.nix
+++ b/pkgs/os-specific/linux/kernel/common-config.nix
@@ -40,7 +40,7 @@ let
         (whenOlder "5.2" (if (features.debug or false) then yes else no))
         (whenAtLeast "5.2" yes)
       ];
-      DEBUG_INFO_BTF            = whenAtLeast "5.2" yes;
+      DEBUG_INFO_BTF            = whenAtLeast "5.2" (option yes);
       DEBUG_KERNEL              = yes;
       DEBUG_DEVRES              = no;
       DYNAMIC_DEBUG             = yes;