I came across this page :
https://code.google.com/p/kobohack-j/wiki/README_261
By looking at the gtranslation, I think it provides the information on how to run the OS on the external uSD.
It states that DMA must be used to access the card instead of interrupts.
He has a GDB for remote debugging
