Re: [PATCH] build: Drop CONFIG_$ARCH_$(XEN_OS) definitions

[Oleksii <oleksii.kurochko@xxxxxxxxx>]

On Mon, 2023-06-19 at 19:06 +0100, Andrew Cooper wrote:
> These aren't used, and are not obvious useful either.
> 
> tools/ does have some logic which works on $(XEN_OS) directly, and
> some on
> CONFIG_$(XEN_OS) too, but this isn't how we typically refer to
> things.
> 
> The only user ever of this scheme was introduced in c0fd920e987
> (2006) and
> deleted in fa2244104b4 (2010).
> 
> No functional change.

Looks fine to me.

Reviewed-by: Oleksii Kurochko <oleksii.kurochko@xxxxxxxxx>

~ Oleksii