From 62fa45eac52136d10735ca65d4b9284e15686815 Mon Sep 17 00:00:00 2001
From: Jan Malakhovski <oxij@oxij.org>
Date: Fri, 15 Sep 2017 21:07:51 +0000
Subject: [PATCH] linuxPackages: hardened-config: enable DEBUG_PI_LIST

---
 pkgs/os-specific/linux/kernel/hardened-config.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/os-specific/linux/kernel/hardened-config.nix b/pkgs/os-specific/linux/kernel/hardened-config.nix
index 6c3d3c419086..75c06390f755 100644
--- a/pkgs/os-specific/linux/kernel/hardened-config.nix
+++ b/pkgs/os-specific/linux/kernel/hardened-config.nix
@@ -68,6 +68,7 @@ IO_STRICT_DEVMEM y
 DEBUG_CREDENTIALS y
 DEBUG_NOTIFIERS y
 DEBUG_LIST y
+DEBUG_PI_LIST y # doesn't BUG()
 DEBUG_SG y
 SCHED_STACK_END_CHECK y