On 11/04/2016 11:44 AM, Yassin Philip wrote:
> On 04/11/2016 11:11, Ralf Mardorf wrote:
>> On Fri, 4 Nov 2016 10:35:12 +0000, Yassin Philip wrote:
>>> Is there really no way to just (de)select the options you need,
>>> programmatically?

let me tell ya what do as a routine **before** every and any `make
oldconfig`, just to make sure fulcrum and interesting  rt-kernel params
are stuck in place:

   echo "CONFIG_PREEMPT_RT_FULL=y" >> .config
   echo "CONFIG_HZ_1000=y" >> .config