[PATCH v2 00/12] Fix Ravenscar regressions

[Joel Brobecker]

Hi Tom,

> 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.

I can't approve the documentation bits, but the rest of the patch
series looks good to me.

Thank you!
-- 
Joel