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