From 5f94c31db1d2c734523a98ae2b490891a6dc3ac7 Mon Sep 17 00:00:00 2001
From: Travis Staton <hello@travisstaton.com>
Date: Fri, 16 Jun 2023 09:36:35 -0400
Subject: [PATCH] enable uart console for kernel

serial0 is symlinked to ttyAMA0 on rpi's distro, but I don't know
exactly what is supposed to create that, and it isn't happening here.

Something to look into, but this works for now.
---
 sd-image/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sd-image/default.nix b/sd-image/default.nix
index 2804d06..5ee8e7a 100644
--- a/sd-image/default.nix
+++ b/sd-image/default.nix
@@ -10,7 +10,7 @@
     boot.consoleLogLevel = lib.mkDefault 7;
 
     # https://github.com/raspberrypi/firmware/issues/1539#issuecomment-784498108
-    boot.kernelParams = [ "console=serial0,115200n8" "console=tty1" ];
+    boot.kernelParams = [ "console=ttyAMA0,115200n8" "console=tty1" ];
 
     sdImage = {
       populateFirmwareCommands = ''