[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Plex86 and Kernel Debugging

> > Also, do you have any recommendations for how to learn the "gdb over
> > serial" and general "kernel debugging" techniques? I'm green to both,
> > and should read something about them before I try to dig in.
> I've only learned by doing.  The oskit has a fair bit of documentation,
> though I really can't say off hand how helpful it will be on this stuff.
> The reason I recommended using oskit example kernels is because that is a
> good way to learn the basics.  If you boot the oskit's "hello world"
> example kernel, and step through its code with gdb over the serial line,
> then that is about as basic as it gets.  Then you can use one of the
> example kernels that uses device drivers and get a feel for that.  The real
> biggy is a kernel that actually uses protection and address-space
> switching, and for that I don't think there is a thing to start with, that
> really does it, much simpler than oskit-mach.  But by that point hopefully
> you'll be ready to see how easy it really can be to debug a kernel like
> oskit-mach.

Ok. I have my task then. I'll report back when I make some progress on
this and figure out the kernel debugging stuff as well. Thanks for the


Reply to: