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 /config.h.in | |
| 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 'config.h.in')
| -rw-r--r-- | config.h.in | 9 |
1 files changed, 9 insertions, 0 deletions
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 |