80MHz board driver could be a little more forgiving of mistakes.
By mistake, I called cmtfintadcAcnetCreate twice with the same value as the first argument. I did this from the shell.
The resulting exception kills the shell.
> cmtfintadcAcnetCreate 1,0x2400> cmtfintadcAcnetCreate 1,0x3400
value = 0 = 0x0
0xcd6410 (tShellRem1): Unhandled C++ exception resulted in call to terminate
[Shell is now dead]]