diff options
Diffstat (limited to 'cpukit/configure.ac')
| -rw-r--r-- | cpukit/configure.ac | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/cpukit/configure.ac b/cpukit/configure.ac index da02f24166..e111fdd0fc 100644 --- a/cpukit/configure.ac +++ b/cpukit/configure.ac @@ -15,6 +15,7 @@ RTEMS_ENABLE_MULTIPROCESSING RTEMS_ENABLE_POSIX RTEMS_ENABLE_RTEMS_DEBUG RTEMS_ENABLE_NETWORKING +RTEMS_ENABLE_PARAVIRT RTEMS_ENV_RTEMSCPU RTEMS_CHECK_RTEMS_DEBUG @@ -182,6 +183,11 @@ RTEMS_CPUOPT([RTEMS_SMP], [1], [if SMP is enabled]) +RTEMS_CPUOPT([RTEMS_PARAVIRT], + [test x"$RTEMS_HAS_PARAVIRT" = xyes], + [1], + [PARAVIRT is enabled]) + RTEMS_CPUOPT([RTEMS_NETWORKING], [test x"$rtems_cv_HAS_NETWORKING" = xyes], [1], |