4 Nov
2016
4 Nov
'16
10:24 p.m.
On Fri, Nov 4, 2016 at 3:30 PM, Rui Nuno Capela <rncbc(a)rncbc.org> wrote:
On 11/04/2016 11:44 AM, Yassin Philip wrote:
surely a tickless kernel is much better on almost any vaguely modern
hardware?
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