* Sami Pietikäinen | 2013-11-19 07:38:27 [+0000]: >> - tried to fix AT91's "already-free IRQ" and highres problem. Michael >> Langfinge reported it initially and Sami Pietikäinen sent a patch for >> the "already-free IRQ" problem. Based on another patch I looked at the >> highres patch and tried to fix it. As I don't have the hardware, some >> feedback would be nice. > >I did a quick test run with the 3.12.0-rt2 kernel. There are no "Trying to free already free IRQ 1" warnings anymore so that issue seems to be fixed. However, the system still hangs. > >CONFIG_HIGH_RES_TIMERS=y >CONFIG_ATMEL_TCB_CLKSRC=y >Hangs (or resets if the WD is enabled) > >CONFIG_HIGH_RES_TIMERS=y >CONFIG_ATMEL_TCB_CLKSRC=n >Boots ok. > >Now the kernel boots with the CONFIG_HIGH_RES_TIMERS enabled, but hangs when I enable the TCB clock source. >Michael, if you have spare time, maybe you could also test these configs to see if you have similar behavior. Okay. So in the working variant with TCB=n, do you have high res timers available? >BR, >Sami Pietikäinen Sebastian -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
