diff options
author | Thomas Gleixner <tglx@linutronix.de> | 2011-06-29 14:58:57 +0200 |
---|---|---|
committer | John Kacur <jkacur@redhat.com> | 2011-11-14 01:08:52 +0100 |
commit | ad106cc20ba803a2ecdcd9cd886325c7d5d197e6 (patch) | |
tree | 5ea30fd45e1f5bf12bc9f50062ed6e5c36bb55bd | |
parent | fe8c9b6b12025e35941c6c773521ab722fa3bfaf (diff) | |
download | linux-rt-v3.2-rc1-52e4c2a05-rt1.tar.gz |
kconfig-preempt-rt-full.patchv3.2-rc1-52e4c2a05-rt1
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
-rw-r--r-- | init/Makefile | 2 | ||||
-rw-r--r-- | kernel/Kconfig.preempt | 7 | ||||
-rwxr-xr-x | scripts/mkcompile_h | 4 |
3 files changed, 11 insertions, 2 deletions
diff --git a/init/Makefile b/init/Makefile index 0bf677aa0872f8..6b473cd16509a1 100644 --- a/init/Makefile +++ b/init/Makefile @@ -29,4 +29,4 @@ silent_chk_compile.h = : include/generated/compile.h: FORCE @$($(quiet)chk_compile.h) $(Q)$(CONFIG_SHELL) $(srctree)/scripts/mkcompile_h $@ \ - "$(UTS_MACHINE)" "$(CONFIG_SMP)" "$(CONFIG_PREEMPT)" "$(CC) $(KBUILD_CFLAGS)" + "$(UTS_MACHINE)" "$(CONFIG_SMP)" "$(CONFIG_PREEMPT)" "$(CONFIG_PREEMPT_RT_FULL)" "$(CC) $(KBUILD_CFLAGS)" diff --git a/kernel/Kconfig.preempt b/kernel/Kconfig.preempt index 35c6f2011e6b31..d0e93725d89105 100644 --- a/kernel/Kconfig.preempt +++ b/kernel/Kconfig.preempt @@ -66,6 +66,13 @@ config PREEMPT_RTB enables changes which are preliminary for the full preemptiple RT kernel. +config PREEMPT_RT_FULL + bool "Fully Preemptible Kernel (RT)" + depends on IRQ_FORCED_THREADING + select PREEMPT_RT_BASE + help + All and everything + endchoice config PREEMPT_COUNT diff --git a/scripts/mkcompile_h b/scripts/mkcompile_h index f221ddf6908040..5f440097f6d295 100755 --- a/scripts/mkcompile_h +++ b/scripts/mkcompile_h @@ -4,7 +4,8 @@ TARGET=$1 ARCH=$2 SMP=$3 PREEMPT=$4 -CC=$5 +RT=$5 +CC=$6 vecho() { [ "${quiet}" = "silent_" ] || echo "$@" ; } @@ -57,6 +58,7 @@ UTS_VERSION="#$VERSION" CONFIG_FLAGS="" if [ -n "$SMP" ] ; then CONFIG_FLAGS="SMP"; fi if [ -n "$PREEMPT" ] ; then CONFIG_FLAGS="$CONFIG_FLAGS PREEMPT"; fi +if [ -n "$RT" ] ; then CONFIG_FLAGS="$CONFIG_FLAGS RT"; fi UTS_VERSION="$UTS_VERSION $CONFIG_FLAGS $TIMESTAMP" # Truncate to maximum length |