From d7669671f65852d56092c6e616b5e4a5a63e8070 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 3 Jul 2024 14:01:40 +0200
Subject: [PATCH] Enable 8250 console driver

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

diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index fbe3da0..db51b7d 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -27,6 +27,12 @@
           HVC_DRIVER y
           HVC_RISCV_SBI y
         ''
+        # Enable console driver
+        +''
+          SERIAL_8250 y
+          SERIAL_8250_CONSOLE y
+          SERIAL_OF_PLATFORM y
+        ''
         # Allows regions of persistent memory to be described in the device-tree.
         + ''
           OF_PMEM y