From b7d02f867a99cc0cd0283a9fc6e5ffaff865c9f8 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 10 Jul 2024 14:19:49 +0200
Subject: [PATCH] Disable support for huge pages

---
 JOURNAL.md     | 6 ++++++
 lagarto-ox.nix | 5 +++++
 2 files changed, 11 insertions(+)

diff --git a/JOURNAL.md b/JOURNAL.md
index e81a9e6..d103ff3 100644
--- a/JOURNAL.md
+++ b/JOURNAL.md
@@ -1170,3 +1170,9 @@ a simple bootrom that outputs some ASCII text into the console.
 
 Regarding the `do_page_fault` filter, it seems that is no available. I need to
 pick one from `available_filter_functions` instead. Let's try `handle_page_fault`.
+
+It still doesn't seem to appear in the console. It is visible with a SysRq
+request Ctrl+O then 'z'.
+
+Maybe I can try disabling the huge pages, just to discard that it may be
+related to it: `CONFIG_HUGETLBFS`.
diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index de55287..336f2fb 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -71,6 +71,11 @@
         + ''
           SMP n
         ''
+        # Disable huge pages
+        + ''
+          HUGETLBFS n
+          HUGETLB_PAGE n
+        ''
         ;
       }
     ];