Good stuff for ARM7TDMI. get_/set_register() seem to work ok.
[goodfet] / firmware / configure
2009-12-22 travisutkConfigure typo, forgot to escape a $.
2009-10-21 travisutkPrint configuration instructions.
2009-09-01 travisutk2274 #ifndef screwed things up.