From 8a277e30591fcd294381b430f3e4a0931253f70f Mon Sep 17 00:00:00 2001
From: John Hood <cgull@glup.org>
Date: Thu, 14 Mar 2024 23:58:13 -0400
Subject: [PATCH] Add another very simple log destination-- fprintf to stderr

---
 kernel/log.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/kernel/log.c b/kernel/log.c
index 2b58d47dfb..6b019f658e 100644
--- a/kernel/log.c
+++ b/kernel/log.c
@@ -154,6 +154,10 @@ static void log_line(const char *line) {
 static void log_line(const char *line) {
     os_log_fault(OS_LOG_DEFAULT, "%s", line);
 }
+#elif LOG_HANDLER_STDERR
+static void log_line(const char *line) {
+    fprintf(stderr, "%s\n", line);
+}
 #endif
 
 static void default_die_handler(const char *msg) {