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

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

diff --git a/kernel/kernelcore.h b/kernel/kernelcore.h
new file mode 100644
index 0000000..265b9bc
--- /dev/null
+++ b/kernel/kernelcore.h
@@ -0,0 +1,27 @@
+/*
+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 KERNELCORE_H
+#define KERNELCORE_H
+
+#include "kernel/types.h"
+
+extern uint16_t video_xbytes;
+extern uint16_t video_xres;
+extern uint16_t video_yres;
+extern uint8_t *video_buffer;
+
+extern uint16_t total_memory;
+extern uint32_t kernel_size;
+
+extern void halt();
+extern void reboot();
+
+extern void intr_return();
+
+extern void *interrupt_stack_pointer;
+
+#endif