[Developer] Debugging questions.

[Bollinger, Seth]

Hello all,

Is there a way I can easily disable the in-kernel debugger?  I don't
have serial drivers and what not written for my board yet.  I would like
to use a bdi 2000 and gdb to debug instead.

This brings me to my second question.  Has anyone used a bdi 2000 and
gdb to debug the kernel yet?  With our current OS, we configure the
processor and board using a debugger script, then simply generate the
elf image and load it directly into ram and run it (we don't really use
the mmu).

I'm assuming this is going to be slightly different on l4, being that it
makes more extensive use of the mmu.  How is this usually done?  I
apologize if this is a noob question.  :)

Thanks,

Seth