diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 023140bd..8c5b64a9 100644 --- a/configure.ac +++ b/configure.ac @@ -34,6 +34,12 @@ AC_ARG_WITH([max-cpus], [opt_max_cpus=$withval], [opt_max_cpus=128]) +AC_ARG_ENABLE([mutex-pi], + [AS_HELP_STRING([--enable-mutex-pi], + [enable priority inheritance for regular mutexes + (note that priority inheritance is always + enabled for real-time mutexes)])]) + AC_DEFINE([__KERNEL__], [1], [kernel code]) AC_DEFINE_UNQUOTED([ARCH], [$arch], [arch]) @@ -74,6 +80,10 @@ AC_DEFINE_UNQUOTED([MAX_CPUS], [$opt_max_cpus], [maximum number of supported processors]) AC_MSG_NOTICE([maximum number of supported processors: $opt_max_cpus]) +AS_IF([test x"$enable_mutex_pi" = xyes], + [AC_DEFINE_UNQUOTED([X15_MUTEX_PI], [], + [Enable priority inheritance for regular mutexes])]) + AH_BOTTOM([#include <kern/config.h>]) AC_CONFIG_HEADER([config.h]) AC_CONFIG_FILES([Makefile]) |