l4linux2.6

[Andrew Davenport]

hello,

I have an l4linux-2.6 setup.  L4linux boots, but only creates up to the thread
on IRQ 15, and does not create the thread on IRQ 11.

Thanks,
andrew