> ddb> call boot(0x80)

Thanks.

> Nope.  Usually the most useful information that you can give is a
> stack backtrace, produced by:
> 
> ddb> bt

Interesting, that was the first thing I typed but ddb complained... I
didn't pay attention to what it said sorry.

Anyway, I've now updated my kernel sources to today's sup, so here's
hoping.

--sjg