On 8 November 2018 at 09:32, Stefan Hajnoczi <stefa...@gmail.com> wrote: > On Fri, Nov 02, 2018 at 01:07:17PM -0400, Steffen Görtz wrote: > > Thank you, Steffen! I have posted my Reviewed-by on all patches. > > Joel: Will you send pull requests for the microbit machine types or do > you want Peter to merge this?
I had some code review comments (mostly minor, but there's a definite bug in the timer code) that need addressing before this series can be merged. It's pretty close, though. thanks -- PMM