From bc05dc267665553d1580693d578e9b2c2f7141cd Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 5 Jul 2024 15:24:43 +0200
Subject: [PATCH] Mount debugfs first

---
 lagarto-ox.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index 2da2c5e..67cfb5a 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -93,6 +93,9 @@
       # the console, otherwise we live lock the kernel. Then enable the sched
       # events.
       ''
+        echo "Mount debugfs"
+        mkdir -p /sys/kernel/debug/
+        mount -t debugfs none /sys/kernel/debug/
         echo "Exclude pid 2 from sched"
         echo '(prev_pid != 2 && next_pid != 2)' > /sys/kernel/debug/tracing/events/sched/filter
         echo "Enable all events from sched subsystem"