diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2017-03-28 09:19:41 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2017-08-10 09:05:46 +0200 |
commit | 634848fc5b645a4e26c9af0d9715786f0030e8d1 (patch) | |
tree | c4a119c146e7cbc43551f6f3cb78d2cd1d50a663 | |
parent | 80ba573f27728630c0c7b53e463fec44063a66c2 (diff) |
Add RTEMS_PARAVIRT_XTRATUM CPU option
-rw-r--r-- | cpukit/configure.ac | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/cpukit/configure.ac b/cpukit/configure.ac index 8d5b322280..85d02a60a5 100644 --- a/cpukit/configure.ac +++ b/cpukit/configure.ac @@ -213,6 +213,16 @@ RTEMS_CPUOPT([RTEMS_PARAVIRT], [1], [PARAVIRT is enabled]) +case "${RTEMS_BSP}" in + xm_* ) enable_rtems_paravirt_xtratum="yes" ;; + *) enable_rtems_paravirt_xtratum="no" ;; +esac + +RTEMS_CPUOPT([RTEMS_PARAVIRT_XTRATUM], + [test x"${enable_rtems_paravirt_xtratum}" = x"yes"], + [1], + [if XtratuM paravirtualization support is enabled]) + RTEMS_CPUOPT([RTEMS_PROFILING], [test x"$RTEMS_HAS_PROFILING" = xyes], [1], |