Hi Penny, On 16/08/2022 03:36, Penny Zheng wrote:
Penny Zheng (9): xen/arm: rename PGC_reserved to PGC_static
This was committed by Jan a week ago. And ...
xen: do not merge reserved pages in free_heap_pages() xen: add field "flags" to cover all internal CDF_XXX
... I have committed those two. Cheers, -- Julien Grall
