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 p >
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.