SMP problems with Thinkpad X60s

> That looks to me like a failed assertion printed together with startup code
> of your rootserver. The gibberish probably comes from several cpus printing
> stuff on the screen simultaneously. Since L4 synchronizes console output
> printed via L4_KDB_Printchar and friends, there's two options: i) you're
> using your own print routines and those get messed up with L4's debug
> output, or ii) the L4 ASSERTION fails somewhere in the KDB, and the printf
> synchronization fails as a fall-out.

The latter seems to be the case, the failed assertion is in
kernel/kdb/glue/v4-x86/prepost.cc, line 410, if I read the output correctly.

I have no idea why it fails, though.

Philipp