Compilar Linux Con Xenomai

Al configurar el kernel en "Real-time sub-system"
Lo primero que sale es lo siguiente:

*** WARNING! You enabled APM, CPU Frequency scaling or ACPI 'processor' *** │ │
│ │*** option. These options are known to cause troubles with Xenomai. *** │ │
│ │ *** NOTE: Xenomai conflicts with PC speaker support. ***│ │
│ │ *** (menu Device Drivers/Input device support/Miscellaneous devices) *** │ │
│ │ ***NOTE: Xenomai needs either X86_LOCAL_APIC enabled or HPET_TIMER disabled. *** │ │
│ │ *** (menu Processor type and features) ***


Para el primer warning hayque desabilitar:

Symbol: ACPI_PROCESSOR [=y] (Disable) │
│ Prompt: Processor│
│ Defined at drivers/acpi/Kconfig:195 ││ Depends on: ACPI [=y] │
│ Location:│
│ -> Power management and ACPI options │
│ -> ACPI(Advanced Configuration and Power Interface) Support (ACPI [=y]) │
│ Selects: THERMAL [=y]



Symbol: CPU_FREQ_STAT [=y]│
│ Prompt: CPU frequency translation statistics │
│...