gdbarmsim

TODO.