> > 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 pointers. --Ian
