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>
--
Julien Grall