diff options
| author | Thomas Gleixner <tglx@linutronix.de> | 2011-06-29 14:58:57 +0200 |
|---|---|---|
| committer | John Kacur <jkacur@redhat.com> | 2011-11-12 22:12:42 +0100 |
| commit | f07104fffa48b8a05767694d34d4d024d30b0528 (patch) | |
| tree | a4fabb9ab96e3124896dd118400c8d5e089e90f7 | |
| parent | 510e76a5203b6ae393470c9b7c27f3bc66f135f5 (diff) | |
| download | linux-rt-v3.0-rt.tar.gz | |
kconfig-preempt-rt-full.patchv3.0.9-rt25v3.0-rt
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 752a395330828b..7a1698a8795974 100644 --- a/kernel/Kconfig.preempt +++ b/kernel/Kconfig.preempt @@ -65,5 +65,12 @@ 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 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 |