[Adeos-main] kernel boot problem, possibly hanging on interrupts

[Will Wiles <wilesw@domain.hid>]

I'm working with a PXA based embedded board attempting to get Adeos on 
it's feet.  Right now at boot after the pipeline is enabled (a few 
printk's for devices later) the process stalls without any information 
as to why.

I've checked arch/arm/mach-pxa/time.c & irq.c against the information here,

http://www.xenomai.org/index.php/I-pipe:ArmPorting

and everything seems to be in order.  I'm not too versed in interrupt 
handling as it relates specifically to the linux implementation, but 
Gilles was mentioning this as a likely culprit, and it seems fairly 
plausible.

If anyone has seen a similar problem (I'm hoping it's something simple 
as an incorrect register name), or a good strategy for trying to track 
down the offending routine, information would be appreciated.

Will Wiles