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

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

diff --git a/kernel/pic.h b/kernel/pic.h
new file mode 100644
index 0000000..e5eb3a6
--- /dev/null
+++ b/kernel/pic.h
@@ -0,0 +1,17 @@
+/*
+Copyright (C) 2015-2019 The University of Notre Dame
+This software is distributed under the GNU General Public License.
+See the file LICENSE for details.
+*/
+
+#ifndef PIC_H
+#define PIC_H
+
+#include "kernel/types.h"
+
+void pic_init(int base0, int base1);
+void pic_enable(uint8_t irq);
+void pic_disable(uint8_t irq);
+void pic_acknowledge(uint8_t irq);
+
+#endif