How to debug minix's kernel? - Minix

This is a discussion on How to debug minix's kernel? - Minix ; 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?...

+ Reply to Thread
Results 1 to 2 of 2

Thread: How to debug minix's kernel?

  1. How to debug minix's kernel?

    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?


  2. Re: How to debug minix's kernel?

    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



+ Reply to Thread