The above file needs to be common between the arm platforms
so that gdb support for kcore and kernel debugging can work.
It would be nice if all registers could be contained in the
pcb as that greatly simplifies gdb support.
--
Matt Thomas               Internet:   matt@3am-software.com
3am Software Foundry      WWW URL:    http://www.3am-software.com/bio/matt/
Cupertino, CA             Disclaimer: I avow all knowledge of this message