Assumptions / Pre-reqs
For this post to be useful, you should:
– know how to build a Linux kernel from source
– know something about Linux kernel programming, writing kernel module code, etc
– have some familiarity with setting up and using KDB and KGDB (a bit of this is covered here, not all); also, see some useful Resources just below..
– have an R Pi (I use the Rev B R Pi) with an SD card
– have a custom Linux kernel running on it (need to be able to modify kernel configuration and rebuild at will)
– the R Pi does not have a dedicated physical serial port; we require one to get (and send) console I/O (so that we can see kernel printk’s and interact via the keyboard). I find a simple and efficient way to do this is to make use of the GPIO pins 14 (TXD) and 15 (RXD) on the board, connecting them to a simple FTDI
USBTTL serial breakout board. I’m using FTDI’s FT232R Breakout board; it works very well indeed.