Manuel Bouyer wrote:
> 
> 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).

Ah thank you - searching for "core dump" in the mailing list archives
wasn't very fruitful (ie the wrong thing to search for). Naturally, now
that I wish to try it out, the computer that was panicking all the time
is fine (with a today's kernel)..

Thank you,

Patrick