[PATCH v2 00/12] Fix Ravenscar regressions

[Tom Tromey]

Some changes in gdb caused regressions in AdaCore's internal Ravenscar
testing.  This is understandable, because a Ravenscar environment is a
bit of a pain to set up, and so I don't think it's tested in ordinary
gdb testing.

This series is v2 of some fixes to Ravenscar.  A few more fixes have
been added since the last series, to cope with new regressions.  I've
also dropped the "random thread switch" patch from the series.  I hope
we can discuss that one again sometime, but meanwhile I'd rather get
these changes in.

Tom