From 050221a0defb92dbe6a1ee5e91f8a28a768aabe0 Mon Sep 17 00:00:00 2001
From: Chloe M <chloe@mensia.org>
Date: Fri, 10 Jul 2026 18:05:08 -0400
Subject: [PATCH] ptos: hal: Add machine specific page information

Signed-off-by: Chloe M <chloe@mensia.org>
---
 service/ptos/head/arch/amd64/page.h | 16 ++++++++++++++++
 service/ptos/head/hal/page.h        | 15 +++++++++++++++
 2 files changed, 31 insertions(+)
 create mode 100644 service/ptos/head/arch/amd64/page.h
 create mode 100644 service/ptos/head/hal/page.h

diff --git a/service/ptos/head/arch/amd64/page.h b/service/ptos/head/arch/amd64/page.h
new file mode 100644
index 0000000..266ba35
--- /dev/null
+++ b/service/ptos/head/arch/amd64/page.h
@@ -0,0 +1,16 @@
+/*
+ * Copyright (c) 2026, Chloe M.
+ * Provided under the BSD-3 clause.
+ *
+ * Description: AMD64 page information
+ * Author:      Chloe M.
+ */
+
+#ifndef _MACHINE_PAGE_H_
+#define _MACHINE_PAGE_H_ 1
+
+/* Page information */
+#define PAGESIZE        4096
+#define LOG2_PAGESIZE   12
+
+#endif  /* !_MACHINE_PAGE_H_ */
diff --git a/service/ptos/head/hal/page.h b/service/ptos/head/hal/page.h
new file mode 100644
index 0000000..c4d700c
--- /dev/null
+++ b/service/ptos/head/hal/page.h
@@ -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_ */