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:36:30 +0200 |
commit | 9578a9deda8a43433128384602ffafa884fbfe33 (patch) | |
tree | 8237b9c02ae248f75c5c6a7f714ff31d4aa633c3 | |
parent | 535f70ef81b47881d61ba2a0c7815f8034627910 (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 c2b8e8d4f2..b61a773b06 100644 --- a/cpukit/configure.ac +++ b/cpukit/configure.ac @@ -220,6 +220,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], |