Bug fixes for WMMU.

* Extend register space to include WMMU area.
* Chop off the higher bits to properly select window.

Change-Id: Ia66dbc07f3456d587bd199025f10454ee5b20dae
1 file changed
tree: 390b7d1cc93bdd17723d6dcf54dbb648d06d36ed
  1. platforms/
  2. shodan_infrastructure/
  3. gdbinit
  4. gdbscript.py
  5. shodan.resc
  6. springbok.resc