Good stuff for ARM7TDMI. get_/set_register() seem to work ok.
-rw-r--r-- 797 README.darwin
drwxr-xr-x - client
drwxr-xr-x - firmware