Good stuff for ARM7TDMI. get_/set_register() seem to work ok.
[goodfet] / firmware / ldscripts / msp430x1612.x
2009-08-22 travisutkREADME files. Don't ignore them.