Update secure core renode platform to match ot f243e680

* Retire the forked OpenTitan_Timer2
* Add all the peripherals supported by renode
* Connect alert_handler

Change-Id: I33866e1bfa3a97e5b783902d3025332e0e62dd19
4 files changed
tree: 7c2c7497e48190273432516ea065a7a58710b9c5
  1. platforms/
  2. shodan_infrastructure/
  3. gdbinit
  4. hps.resc
  5. shodan.resc
  6. springbok.resc