2018-01-31 10:34+0100, Christoffer Dall: > Hi Paolo and Radim, > > Apologies for getting this pull request to you rather late; there were a > number of issues that I wanted to make sure we could fix properly before > including some of the changes in this pull request. > > The changes for this version include icache invalidation optimizations > (improving VM startup time), support for forwarded level-triggered > interrupts (improved performance for timers and passthrough platform > devices), a small fix for power-management notifiers, and some cosmetic > changes. Pulled, thanks.
