On Thu, 21 May 2020, Julien Grall wrote: > Hi Stefano, > > On 20/05/2020 23:13, Stefano Stabellini wrote: > > On Mon, 18 May 2020, Julien Grall wrote: > > > From: Julien Grall <jgr...@amazon.com> > > > > > > Hi all, > > > > > > At the moment, a user who wants to boot Xen on the Raspberry Pi 4 can > > > only use the first GB of memory. > > > > > > This is because several devices cannot DMA above 1GB but Xen doesn't > > > necessarily allocate memory for Dom0 below 1GB. > > > > > > This small series is trying to address the problem by allowing a > > > platform to restrict where Dom0 banks are allocated. > > > > > > This is also a candidate for Xen 4.14. Without it, a user will not be > > > able to use all the RAM on the Raspberry Pi 4. > > > > The series looks good to me aside from the couple of minor issues being > > discussed > > Thanks, I have sent the v2 yesterday but forgot to call add_maintainers.pl > ([1]). Do you want me to resend it with you CCed? > > Cheers, > > [1] <20200519172028.31169-1-jul...@xen.org>
No worries I found them now
