Hello Sebastian,
sorry, I had so many other things on my mind in the last few weeks that
I totally forgot to keep you updated about the matter.
Yes, the patch from Sami solves my problem, I tested the patch with
kernel 3.10.17-rt12. The system boots just fine, no more warnings and
the serial console is back, too. Thanks a lot, Sami! The only remaining
problem for now seems to be that the system does not boot if I enable
the high resolution timer support (CONFIG_HIGH_RES_TIMERS - the same
problem that Sami described a while ago).
Kind regards,
Michael Langfinger
* Sami Pietikäinen | 2013-10-28 13:59:53 [+0000]:
It seems that there is an irq number mismatch in the
"arm-at91-pit-remove-irq-handler-when-clock-is-unused.patch".
The patch adds setup_irq() and remove_irq() calls which have
different irq number than the base driver.
If I'm correct, the irq number should be NR_IRQS_LEGACY + AT91_ID_SYS
instead of only AT91_ID_SYS.
I have attached a fixed patch for 3.6.9-rt21. I tested it with
SAMA5D35, and it removed the
"Trying to free already-free IRQ 1" boot warnings.
Michael, any feedback? Does this solve your problem, too?
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
--
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
