From 48263969621a95703a96a02011c1592da4d82d57 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 4 Jul 2024 11:39:35 +0200
Subject: [PATCH] Try enabling polling in the serial console

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

diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index edbcd9b..ed82f13 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -32,6 +32,7 @@
           SERIAL_8250 y
           SERIAL_8250_CONSOLE y
           SERIAL_OF_PLATFORM y
+          CONSOLE_POLL y
         ''
         # Allows regions of persistent memory to be described in the device-tree.
         + ''