From 328044d371ce12b20e1f84bc3ef7f2262cbdfe34 Mon Sep 17 00:00:00 2001 From: sbosse Date: Mon, 14 Oct 2024 23:07:53 +0200 Subject: [PATCH] Mon 14 Oct 23:06:38 CEST 2024 --- kernel/main.h | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 kernel/main.h diff --git a/kernel/main.h b/kernel/main.h new file mode 100644 index 0000000..ab68f25 --- /dev/null +++ b/kernel/main.h @@ -0,0 +1,12 @@ +/* +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 MAIN_H +#define MAIN_H + +/* nothing at the moment! */ + +#endif