L4-Linux

[Michael Hohmuth]

Harald Fritzsche <Harald.Fritzsche at mpd.de> writes:

> I found (i hope so) the reason for the kbd: sig_sched: invalid
> ext_preempter in
> L4-Linux,  reported earlier.
> 
> In file :
>     linux/arch/l4-i386/lib/task.c
> in function:
>     start_linux_server_thread()
> is used the variable
>     l4_threadid_t     foo_id
> uninitialized.
> I set foo_id to L4_INVALID_ID and the sig_sched disappears. But i don't
> if this is intended from the authors.

Your fix is correct.

The problem occurred because I forgot to commit some patches before
taking the snapshot.  I've appended the patches (which include your
fix) below.

[ from a different message: ]

> The function rs_init() hangs during boot (the boot stops for ever). Or a
> function after this part of initialization. The last what i see is:
> tty0* ... is a 16550A.
> 
> If i disable the serial interface the boot goes on up to VFS mount and stops
> than.

This might be because the kernel debugger stub grabs irq 3 (the
interrupt for COM2).  Maybe Linux' serial driver waits for an
interrupt that never arrives because L4Linux cannot attach to irq3.

Configuring out the serial driver is the correct solution when using
a remote Gdb attached via a serial line.  If you don't have a remote
Gdb, try booting with the "-nokdb" kernel option and see if the
problem goes away.

Michael
-- 
hohmuth at innocent.com, hohmuth at inf.tu-dresden.de
http://home.pages.de/~hohmuth/

-------------- next part --------------
A non-text attachment was scrubbed...
Name: l4linux.diff
Type: application/octet-stream
Size: 5414 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/19981123/0cdd686b/attachment-0001.obj>