Change Mailbox to use the RTL mailbox register interface.

Change-Id: I90031927d518696220c8e4dae4680fc594e1401b
2 files changed
tree: bbb86dfb07aead7d005ff968b1aee52d5e32de5a
  1. platforms/
  2. shodan_infrastructure/
  3. gdbinit
  4. shodan.resc
  5. springbok.resc