All,

On 2007-03-22, diablo3000@gmail.com wrote:
> I install minix3 in vmware.The vmware runs in windows.
> I don't know how to debug minix's kernel.
> I also don't know what tools to use.
> Can anyone give me some suggestion?

In my experience, the best way to debug stuff in the actual kernel is
enable kprintf() to the serial port (do_serial_debug=1 in the kernel),
and disable kprintf() to processes (in kputc() in utility.c) in case you
want to kprintf() at very early stages.

=Ben