On 21/07/2022 09:40, Bertrand Marquis wrote:
Hi Julien,
Hi Bertrand,
On 20 Jul 2022, at 19:44, Julien Grall <[email protected]> wrote:
From: Julien Grall <[email protected]>
move it to Kconfig.
The define CONFIG_DOMAIN_PAGE indicates whether the architecture provide
helpers to map/unmap a domain page. Rename it to the define to
Maybe “the define to” can be removed in this sentence or it needs some
rephrasing.
I have removed "the define to".
CONFIG_ARCH_MAP_DOMAIN_PAGE so it is clearer that this will not remove
support for domain page (this is not a concept that Xen can't get
away with).
Take the opportunity to move CONFIG_MAP_DOMAIN_PAGE to Kconfig as this
will soon be necessary to use it in the Makefile.
Signed-off-by: Julien Grall <[email protected]>
With this fixed:
Reviewed-by: Bertrand Marquis <[email protected]> #arm part
Thanks!
Cheers,
--
Julien Grall
