Harald Fritzsche Harald.Fritzsche@mpd.de writes:
Hallo Hackers,
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.
Thanks for reporting this. Since L4/Intel never used the value of 'external preempter' we (at least I) have not seen this 'error'.
Also the null-pointer test gives an error message.
Could you provide some more details? If everything works correctly you should see a complained from the root pager (something like 'Hmm, strange, that shouldn't happen anymore' on a hercules monitor) and a message from the linux server 'mem_init: null pointer dereference detection seems to work'.
If you see 'mem_init: null pointer check failed' then something is wrong and the zero page was not flushed correctly. That's something Michael should be interested in.
Jean
Hello,
Jean Wolter schrieb:
Harald Fritzsche Harald.Fritzsche@mpd.de writes:
Thanks for reporting this. Since L4/Intel never used the value of 'external preempter' we (at least I) have not seen this 'error'.
L4 or L4Linux does not use external preempters?
Also the null-pointer test gives an error message.
Could you provide some more details? If everything works correctly you should see a complained from the root pager (something like 'Hmm, strange, that shouldn't happen anymore' on a hercules monitor) and a message from the linux server 'mem_init: null pointer dereference detection seems to work'.
That is that what i see: Hmm, strange, ...It seems that i was misunderstanding this.
If you see 'mem_init: null pointer check failed' then something is wrong and the zero page was not flushed correctly. That's something Michael should be interested in.
Jean
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. I will give you more informations later.
mfg Harald Fritzsche
l4-hackers@os.inf.tu-dresden.de