Hi Stefano, On 20/07/2021 20:48, Stefano Stabellini wrote:
Re-ping?
Interestingly the patches were not threaded (in-reply-to seems to be missing in the headers), so I had to look them up by subject to find them.
Anyway, I have looked at patch #2 and provided some feebdack. The first patch #1 looks fine.
Cheers, -- Julien Grall
