From 82630f3eefa1855adc82dc1de775c348351a3e50 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Tue, 9 Jul 2024 12:35:53 +0200
Subject: [PATCH] Enable CONFIG_BUG again

It doesn't seem to make any difference, and it would be good in case it
catches a bug.
---
 lagarto-ox.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index 35e53bf..4a750a1 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -66,7 +66,6 @@
           TRACING y
           BOOTTIME_TRACING y
           STRICT_DEVMEM n
-          BUG n
         ''
         # Disable SMP so we don't have IPI
         + ''