Merge "Update repl to use upstream OpenTitan UART for SMC"
tree: 860f80f93a95dbb155dc2a9db57f41eaf1c2786d
  1. platforms/
  2. shodan_infrastructure/
  3. gdbinit
  4. shodan.resc
  5. springbok.resc