I have been trying to find what the problem with the 8400 support is,
but there is a very annoying problem that shows up: The machine do not
go back to SRM after halt (or reboot) from ddb, it just hangs.
It prints out the text "halt code 5", "pc = 0xfffff0000..." but then
nothing happens, no P00>>> prompt.  Does anyone have any idea what
the problem can be?  It is really annoying to have to go to the 
computer room each time I testboot a kernel :-(

-- Ragge