oops. here's the new code. old code will remain in jtagarm7tdmi.c for the time...
[goodfet] / firmware / platforms /
drwxr-xr-x   ..
-rw-r--r-- 170 README.txt
-rw-r--r-- 913 goodfet.h
-rw-r--r-- 511 nhbadge.h
-rw-r--r-- 590 nhbadgeb.h
-rw-r--r-- 645 telosb.h
-rw-r--r-- 1 z1.h