PREEMPT debian kernel rt issues

[wakoo]

On fresh Debian 9 I've installed a real-time kernel (official from the repos: linux-image-4.9.0-8-rt-amd64). Well, in accordance with this info, the real time kernel may have this specs:

Code: Select all

CONFIG_HZ_1000=y
CONFIG_HZ=1000
CONFIG_PREEMPT_RT_FULL=y
CONFIG_PREEMPT=y

But on linux-image-4.9.0-8-rt-amd64, the parameters are:

Code: Select all

#CONFIG_HZ_1000=y
CONFIG_HZ=200

My question is, How to edit those specs on kernel and how to make those changes persistent.

Salut!