Cómo parchear el kernel de Linux de AM335X con xenomai

Establezca varios bits de bandera en el archivo .config en el directorio raíz de la carpeta fuente del kernel de la siguiente manera:

CONFIG_HPET_TIMER=n

CONFIG_HPET_EMULATE_RTC=n

CONFIG_SPARSE_IRQ=n

Cuando se produce un error no declarado "per_cpu__irq_stack_union", configure CONFIG_CC_STACKPROTECTOR en n

gt. ¡Tengo un kernel xenomai ejecutándose!

gt;

gt; He probado usando el programa testsuit latency ./run inicialmente.

gt;

gt; Para solucionar este problema, debe seleccionar una CPU x86 que admita un contador de marca de tiempo

Al configurar su kernel, ya que de forma predeterminada, el script de configuración

asume --enable -x86-tsc.

Método 2: El problema es que la función TSC debe estar habilitada en el espacio del kernel si

quieres habilitarla en el espacio del usuario. Tiene dos opciones:

- o habilita el TSC en el espacio del kernel seleccionando el procesador

en la configuración del kernel que se ajuste a su procesador (como se sugiere en

Preguntas frecuentes de Xenomai);

- o puede desactivar el uso de TSC en el espacio de usuario pasando --disable-tsc

para configurar.