On Fri, Jul 09, 1999 at 10:09:05AM +0100, Patrick Welche wrote:
> [...]
> But on the other thread, isn't there a function one can call to say
> "make core dump now"?

From the ddb promt: call cpu_reboot(0x100)
You can laso try: cpu_reboot(0x104) which will prevent the buffer cache from
being flushed (can help if the buffer cache is really messed up).

PS: I'm also seeing these kind of problems (random panics or core
dumps) on at last 2 different machines.

--
Manuel Bouyer, LIP6, Universite Paris VI.           Manuel.Bouyer@lip6.fr
--