[pk] proxy kernel support for mixed 32b/64b operation

1 files changed, 51 insertions, 0 deletions

diff --git a/configure b/configure
index c2d9747..7c432e5 100755
--- a/configure
+++ b/configure
@@ -635,6 +635,9 @@ ac_user_opts='
 enable_option_checking
 enable_stow
 enable_optional_subprojects
+enable_vm
+enable_kernel_64bit
+enable_user_64bit
 '
       ac_precious_vars='build_alias
 host_alias
@@ -1267,6 +1270,9 @@ Optional Features:
   --enable-stow           Enable stow-based install
   --enable-optional-subprojects
                           Enable all optional subprojects
+  --disable-vm            Disable virtual memory
+  --disable-kernel-64bit  Disable 64-bit kernel operation
+  --disable-user-64bit    Disable 64-bit user operation
 
 Some influential environment variables:
   CC          C compiler command
@@ -3967,6 +3973,51 @@ $as_echo "$as_me: configuring default subproject : pk" >&6;}
 
 $as_echo "#define PK_ENABLED /**/" >>confdefs.h
 
+      # Check whether --enable-vm was given.
+if test "${enable_vm+set}" = set; then :
+  enableval=$enable_vm;
+fi
+
+if test "x$enable_vm" != "xno"; then :
+
+
+$as_echo "#define PK_ENABLE_VM /**/" >>confdefs.h
+
+
+fi
+
+# Check whether --enable-kernel-64bit was given.
+if test "${enable_kernel_64bit+set}" = set; then :
+  enableval=$enable_kernel_64bit;
+fi
+
+if test "x$enable_kernel_64bit" != "xno"; then :
+
+
+$as_echo "#define PK_ENABLE_KERNEL_64BIT /**/" >>confdefs.h
+
+
+else
+
+  CFLAGS="$CFLAGS -mabi=32"
+
+  LDFLAGS="$LDFLAGS -mabi=32"
+
+
+fi
+
+# Check whether --enable-user-64bit was given.
+if test "${enable_user_64bit+set}" = set; then :
+  enableval=$enable_user_64bit;
+fi
+
+if test "x$enable_user_64bit" != "xno"; then :
+
+
+$as_echo "#define PK_ENABLE_USER_64BIT /**/" >>confdefs.h
+
+
+fi