Hi I found errors in log when startup 4.9.51 with Xenomai could it be a problem with sd reader ?
[ 0.366633] platform wdat_wdt: failed to claim resource 4 [ 0.366647] ACPI: watchdog: Failed to create platform device [ 1.447252] i2c_designware 808622C1:00: failure requesting irq 32: -38 Xenomai registerd [ 12.960998] [Xenomai] scheduling class idle registered. [ 12.961001] [Xenomai] scheduling class rt registered. [ 12.961052] [Xenomai] SMI-enabled chipset found, but SMI workaround disabled (see xenomai.smi parameter). You might encounter high latencies! [ 12.961171] I-pipe: head domain Xenomai registered. [ 12.962015] [Xenomai] Cobalt v3.0.5 (Sisyphus's Boulder) PS I saw patch today but have not try it yet С уважением и надеждой на сотрудничество, Шевченко Т.Г. _______________________________________________ Xenomai mailing list [email protected] https://xenomai.org/mailman/listinfo/xenomai
