From 7315645714499d2fa5e3d79a2d5b905d4ab4aa16 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Mon, 14 Oct 2024 23:07:42 +0200
Subject: [PATCH] Mon 14 Oct 23:06:38 CEST 2024

---
 kernel/printf.h | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 kernel/printf.h

diff --git a/kernel/printf.h b/kernel/printf.h
new file mode 100644
index 0000000..503931d
--- /dev/null
+++ b/kernel/printf.h
@@ -0,0 +1,14 @@
+/*
+Copyright (C) 2016-2019 The University of Notre Dame
+This software is distributed under the GNU General Public License.
+See the file LICENSE for details.
+*/
+
+#ifndef PRINTF_H
+#define PRINTF_H
+
+char getchar();
+void putchar( char c );
+void printf( const char *s, ... );
+
+#endif