Hello Sami, hello Sebastian,
unfortunately I don't have access to the AT91 at the moment, so I can't
test the config myself. But I built the kernel 3.12.0-rt2 and gave my
former colleague with whom I worked on the AT91 a copy of it. I also
updated the build scripts that we used for our specific setup with the
AT91, so he will be able to build the kernel himself and test the two
config options Sami posted. I will tell you about his results as soon as
I hear from him!
Kind regards,
Michael Langfinger
On Fri, 22 Nov 2013 15:23:45 +0100, Sebastian Andrzej Siewior
<bigeasy@xxxxxxxxxxxxx> wrote:
* 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
--
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
