From 99f38ab351bb3800c17bc0a925f268c69db3ce87 Mon Sep 17 00:00:00 2001
From: Simon Ser <contact@emersion.fr>
Date: Sat, 23 Nov 2024 17:40:42 +0100
Subject: [PATCH] populate stdin/stdout/stderr pointers

---
 src/libc/src/stdio.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/libc/src/stdio.c b/src/libc/src/stdio.c
index fed8b5777..63bd40541 100644
--- a/src/libc/src/stdio.c
+++ b/src/libc/src/stdio.c
@@ -1,5 +1,9 @@
 #include <stdio.h>
 
+FILE *stdin = &(FILE){0};
+FILE *stdout = &(FILE){0};
+FILE *stderr = &(FILE){0};
+
 int puts(const char *str) { return 0; }
 
 int fputs(const char *s, FILE *stream) { return 0; }