From dd84f5743dd5527f08df7cebb1423149926eacdc Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU>
Date: Tue, 24 Aug 2010 02:22:20 -0700
Subject: [pk] proxy kernel support for mixed 32b/64b operation

---
 config.h.in | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'config.h.in')

diff --git a/config.h.in b/config.h.in
index fa96154..0bb21e0 100644
--- a/config.h.in
+++ b/config.h.in
@@ -21,5 +21,14 @@
 /* Define if subproject MCPPBS_SPROJ_NORM is enabled */
 #undef PK_ENABLED
 
+/* Define if the kernel runs in 64-bit mode */
+#undef PK_ENABLE_KERNEL_64BIT
+
+/* Define if the user runs in 64-bit mode */
+#undef PK_ENABLE_USER_64BIT
+
+/* Define if virtual memory support is enabled */
+#undef PK_ENABLE_VM
+
 /* Define to 1 if you have the ANSI C header files. */
 #undef STDC_HEADERS
-- 
cgit v1.1