Dear Maintainer, Is it possible to enable this option for the real-time kernel image, like suggested one year ago ? It is a feature that is required for many real-time applications when a CPU is only dedicated to a process. Thank you, Mikael