L4Linux Scheduling error with Kernel Module

[Leon Brits]

Hi all,

My Kernel Module seem to be working fine for most of the time. But I get
an intermittent error where the Kernel crashes with the following error:

<snip>
Scheduling in interrupt

KERNEL: 12.9 (tcb=c0484800) killed:
Unhandled trap
<snip>

The Kernel module does not control any interrupts and at this
point-in-time is pure virtual.

Any ideas why or how to debugging this error is appreciated?

Thanks
Leon