On Thu, 17 Oct 2019 at 14:21, Peter Maydell <peter.mayd...@linaro.org> wrote: > > This patchset converts the devices used by ppc and microblaze > machines to the new ptimer API. (xilinx_timer is used by both, > hence putting both archs in the same patchset).
Apologies for the duplicate cover-letter: messed up the git-send-email command line the first time and sent just the cover letter without the actual patches. -- PMM
