All of lore.kernel.org
 help / color / mirror / Atom feed
* [Xenomai] imx1 and imx27 boot problem with __ipipe_tsc_get()
@ 2012-09-01 13:38 gwenhael.goavec
  2012-09-01 13:41 ` Gilles Chanteperdrix
  0 siblings, 1 reply; 11+ messages in thread
From: gwenhael.goavec @ 2012-09-01 13:38 UTC (permalink / raw)
  To: xenomai

Hi,

I have 2 boards, the first is based on imx1 and the second on imx27.
With this 2 boards, I'm unable to boot a 2.6.38.8 kernel.
For the imx1 with 3.2.21 the result is the same.

I have enabled early_printk. On every boards the boot stop with a kernel panic.
The message start with : "Unable to handle kernel paging request at virtual
address 10003010" on imx27.

This is due to the call of __ipipe_tsc_get() in __ipipe_tsc_update()

To verify my toolchain I have tested 2.6.38.8 with at91 successfully.

If someone has a idea?

Thank you very much.

Gwenhael Goavec-Merou


^ permalink raw reply	[flat|nested] 11+ messages in thread

end of thread, other threads:[~2012-09-01 16:37 UTC | newest]

Thread overview: 11+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-09-01 13:38 [Xenomai] imx1 and imx27 boot problem with __ipipe_tsc_get() gwenhael.goavec
2012-09-01 13:41 ` Gilles Chanteperdrix
2012-09-01 13:50   ` gwenhael.goavec
2012-09-01 13:54     ` Gilles Chanteperdrix
2012-09-01 14:29       ` Michael Trimarchi
2012-09-01 14:32         ` Gilles Chanteperdrix
2012-09-01 14:33           ` Michael Trimarchi
2012-09-01 14:42             ` Gilles Chanteperdrix
2012-09-01 15:15             ` Gilles Chanteperdrix
2012-09-01 16:37               ` Michael Trimarchi
2012-09-01 14:32       ` gwenhael.goavec

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.