From 7c12d04cae1238dbfc99ae5cb8f8e3ccb80cfac0 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Mon, 14 Oct 2024 23:08:18 +0200
Subject: [PATCH] Mon 14 Oct 23:06:38 CEST 2024

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

diff --git a/kernel/serial.h b/kernel/serial.h
new file mode 100644
index 0000000..955a4f7
--- /dev/null
+++ b/kernel/serial.h
@@ -0,0 +1,19 @@
+/*
+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 SERIAL_H
+#define SERIAL_H
+
+void serial_init();
+
+char serial_read(int port_no);
+void serial_write(int port_no, char a);
+
+int serial_device_probe( int unit, int *blocksize, int *nblocks, char *info );
+int serial_device_read( int unit, void *data, int length, int offset );
+int serial_device_write( int unit, const void *data, int length, int offset );
+
+#endif