Merge remote-tracking branch 'remotes/jsnow-gitlab/tags/ide-pull-request' into staging
authorPeter Maydell <peter.maydell@linaro.org>
Fri, 30 Oct 2020 11:56:07 +0000 (11:56 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Fri, 30 Oct 2020 11:56:07 +0000 (11:56 +0000)
IDE Pull request

# gpg: Signature made Tue 27 Oct 2020 14:41:59 GMT
# gpg:                using RSA key F9B7ABDBBCACDF95BE76CBD07DEF8106AAFC390E
# gpg: Good signature from "John Snow (John Huston) <jsnow@redhat.com>" [full]
# Primary key fingerprint: FAEB 9711 A12C F475 812F  18F2 88A9 064D 1835 61EB
#      Subkey fingerprint: F9B7 ABDB BCAC DF95 BE76  CBD0 7DEF 8106 AAFC 390E

* remotes/jsnow-gitlab/tags/ide-pull-request:
  ide: clear SRST after SRST finishes
  ide: perform SRST as early as possible
  ide: run diagnostic after SRST

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>

Trivial merge