On Sat, 2013-03-23 at 09:22 -0400, Konrad Rzeszutek Wilk wrote:

On Fri, Mar 22, 2013 at 11:37:35PM +0100, Paul Bolle wrote:

quoted

1) Its Kconfig entry is preceded with this comment:
    # Dummy symbol since people have come to rely on the PRIVILEGED_GUEST
    # name in tools.

What does that mean?

[root@phenom minutes]# cat /etc/grub.d/20_linux_xen |grep PRIV
        if (grep -qx "CONFIG_XEN_DOM0=y" "${config}" 2> /dev/null || grep -qx "CONFIG_XEN_PRIVILEGED_GUEST=y" "${config}" 2> /dev/null); then echo -n "$i " ; fi

Thanks.

Can userspace require the build system to keep using some Kconfig symbol
by doing tests like these? Anyhow, if that's the only tool then
XEN_PRIVILEGED_GUEST can be dropped. XEN_PRIVILIGED_GUEST should always
be equal to XEN_DOM0 so this if () test will evaluate identically with
the sub-test for CONFIG_XEN_PRIVILIGED_GUEST removed.


Paul Bolle