ptos: hal: Add machine specific page information

Signed-off-by: Chloe M <chloe@mensia.org>
2026-07-10 18:05:08 -04:00
parent 128060dca0
commit 050221a0de
2 changed files with 31 additions and 0 deletions
@@ -0,0 +1,15 @@
+/*
+ * Copyright (c) 2026, Chloe M.
+ * Provided under the BSD-3 clause.
+ *
+ * Description: HAL page info bridge
+ * Author:      Chloe M.
+ */
+
+#ifndef _HAL_PAGE_H_
+#define _HAL_PAGE_H_ 1
+
+/* Page information */
+#include <machine/page.h>
+
+#endif  /* !_HAL_PAGE_H_ */