On 19.06.2023 20:06, 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. > > Signed-off-by: Andrew Cooper <[email protected]>
Reviewed-by: Jan Beulich <[email protected]>
