Hi.

I gave Xenomai 2.6.0 a try and installed a newly patched kernel on my
AT91SAM9G20 board.

Here is my setup:

proc:   AT91SAM9G20
kernel: 2.6.35.9
OS: embedded Debian Squeeze

The board boots fine up to stage 2 (user terminal). Sometimes, I am able
to get a login terminal, despite seg fault messages.

A similar behavior occurs in a Xenomai capable 2.6.37 kernel, only
without the fault messages. In this case the board simply freezes.

I included the files (.config and fault messages) in the attachments.

Thanks.