From c717297b30b9c3fb40674f56a89059be6db382f3 Mon Sep 17 00:00:00 2001
From: Eyck-Alexander Jentzsch <alex@minres.com>
Date: Fri, 10 Apr 2026 13:12:05 +0200
Subject: [PATCH] removes more dependencies

---
 port/picolibc/port.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/port/picolibc/port.c b/port/picolibc/port.c
index 4390972..87ab9e2 100644
--- a/port/picolibc/port.c
+++ b/port/picolibc/port.c
@@ -1,8 +1,6 @@
 #include <stdio.h>
 #include <sys/types.h>
-
-extern void uart_putc(char c);
-extern int uart_getc(void);
+#include "board.h"
 
 static int
 board_putc(char c, FILE *file)