During a debug session, the code for fixing register banks was turned off.
[fw/sdcc] / device /
drwxr-xr-x   ..
-rw-r--r-- 125 README
drwxr-xr-x - examples
drwxr-xr-x - include
drwxr-xr-x - lib