diff --git a/kernel/page.h b/kernel/page.h
new file mode 100644
index 0000000..ed539ed
--- /dev/null
+++ b/kernel/page.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 PAGE_H
+#define PAGE_H
+
+#include "kernel/types.h"
+
+void  page_init();
+void *page_alloc(bool zeroit);
+void  page_free(void *addr);
+void  page_stats( uint32_t *nfree, uint32_t *ntotal );
+
+#endif