diff options
| author | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2010-08-24 02:22:20 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2010-08-24 02:22:20 -0700 |
| commit | dd84f5743dd5527f08df7cebb1423149926eacdc (patch) | |
| tree | 75f46a739d8f10d5864669bde6b7403a15adace3 /pk/pk.ac | |
| parent | 049091755596801479538bcc4722bc2810471aa0 (diff) | |
| download | riscv-pk-dd84f5743dd5527f08df7cebb1423149926eacdc.zip riscv-pk-dd84f5743dd5527f08df7cebb1423149926eacdc.tar.gz riscv-pk-dd84f5743dd5527f08df7cebb1423149926eacdc.tar.bz2 | |
[pk] proxy kernel support for mixed 32b/64b operation
Diffstat (limited to 'pk/pk.ac')
| -rw-r--r-- | pk/pk.ac | 17 |
1 files changed, 17 insertions, 0 deletions
@@ -0,0 +1,17 @@ +AC_ARG_ENABLE([vm], AS_HELP_STRING([--disable-vm], [Disable virtual memory])) +AS_IF([test "x$enable_vm" != "xno"], [ + AC_DEFINE([PK_ENABLE_VM],,[Define if virtual memory support is enabled]) +]) + +AC_ARG_ENABLE([kernel-64bit], AS_HELP_STRING([--disable-kernel-64bit], [Disable 64-bit kernel operation])) +AS_IF([test "x$enable_kernel_64bit" != "xno"], [ + AC_DEFINE([PK_ENABLE_KERNEL_64BIT],,[Define if the kernel runs in 64-bit mode]) +],[ + AC_SUBST([CFLAGS],["$CFLAGS -mabi=32"]) + AC_SUBST([LDFLAGS],["$LDFLAGS -mabi=32"]) +]) + +AC_ARG_ENABLE([user-64bit], AS_HELP_STRING([--disable-user-64bit], [Disable 64-bit user operation])) +AS_IF([test "x$enable_user_64bit" != "xno"], [ + AC_DEFINE([PK_ENABLE_USER_64BIT],,[Define if the user runs in 64-bit mode]) +]) |