From 01fa98e5caa5434f092e151bfbbad1d3e67b6d8f Mon Sep 17 00:00:00 2001 From: Martin Borg Date: Tue, 19 Apr 2016 15:40:44 +0200 Subject: linux/cfg: add config fragment for RCU priority boosting Enable support for RCU priority boosting in the kernel Signed-off-by: Martin Borg Signed-off-by: Adrian Dudau --- recipes-kernel/linux/files/cfg/rcu_boost.cfg | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 recipes-kernel/linux/files/cfg/rcu_boost.cfg (limited to 'recipes-kernel') diff --git a/recipes-kernel/linux/files/cfg/rcu_boost.cfg b/recipes-kernel/linux/files/cfg/rcu_boost.cfg new file mode 100644 index 0000000..4bd0991 --- /dev/null +++ b/recipes-kernel/linux/files/cfg/rcu_boost.cfg @@ -0,0 +1,5 @@ +CONFIG_RT_MUTEXES=y +CONFIG_PREEMPT_RCU=y +CONFIG_RCU_BOOST=y +CONFIG_RCU_BOOST_PRIO=1 +CONFIG_RCU_BOOST_DELAY=500 -- cgit v1.2.3-54-g00ecf