[Developer] Debugging questions.

[seth bollinger]

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