Hello everyone, I'm using UDOO linux kernel for UDOO IMX6Q board. I'm trying to adopt Xenomai with it. Xenomai requires to disable some configuration variables such as CONFIG_CPU_FREQ, CONFIG_CPU_IDLE, etc.. There's no error in disabling any of them except for CONFIG_CPU_FREQ. It always produces several errors on trying to disable it as many used functions in the drivers files are defined within cpufreq folder. Is there anything that can be done to work around disabling it? for example, can I set cpuinfo_min_freq equal to cpuinfo_max_freq or that won't make a profit? Thanks in advance.