On Wed, 27 Aug 2003 21:58:22 +0100 David Denny (DD) wrote:
DD> booting l4linux stops with: DD> DD> KDB: thread_schedule: param_word bits 16-19 must be 0. Fix your bindings!
This is caused by a change in the thread-schedule binding. Formerly the binding didn't correctly set bits 16-19 in the param word to zero as demanded by the L4 spec. and the kernel now no longer tolerates incorrect parameters.
The bindings have already been fixed in CVS. However, this requires that you check out the new bindings (l4/pkg/l4sys) and recompile/relink the programs which used the old bindings.
Please look at the kernel debugger output to see which task inhibits this behaviour to see which package you need to recompile.
If you have trouble figuring out which task is the culprit, then send in the last lines of screen output at the time of the stop.
Regards, -Udo.