[Xenomai] Xenomai/Ipipe on arm with LPAE enabled not booting

Gilles Chanteperdrix gilles.chanteperdrix at xenomai.org
Thu Aug 28 22:59:23 CEST 2014

On 08/28/2014 10:51 PM, Lennart Sorensen wrote:
> On Thu, Aug 28, 2014 at 10:49:18PM +0200, Gilles Chanteperdrix wrote:
>> If you have JTAG with gdb server, then simply connect gdb and dump
>> printk_buf.
> Yeah I guess I could do that, but then I have to use eclipse because it
> is ti's debugger.  But I will if I have to.

Yet another solution is to enable early printk via the "DCC" channel,
which should normally get the early printks to be sent to the JTAG. You
can then ask your JTAG to display the messages.

The openocd command seems to be "target_request debugmsgs charmsg". I
have never tried this on TI processors, but I have tried it on other
processors with other JTAG, which shows that at least, on Linux side, it


More information about the Xenomai mailing list