L4Linux Scheduling error with Kernel Module

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue May 10 12:13:21 CEST 2005

On Tue May 10, 2005 at 12:14:05 +0200, Leon Brits wrote:
> 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.

What is 12.9 doing? Is it a normal (hardware) interrupt thread or
something different? What does the kernel module do?

One rule wrt to this is that you're not allowed to sleep in any
interrupt context (e.g. with doing IPC), or the above will happen.
That's the first thing I'd suspect.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list