On Mon, 2013-07-08 at 20:26 -0400, Konrad Rzeszutek Wilk wrote: > Could you explain to me please why the check in the scripts is > superfluous?
The discussion has since moved on a bit, but I haven't answered this question yet. The check grub2 currently performs in one of its configuration scripts is (reformatted): 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 But the Kconfig entry for XEN_PRIVILEGED_GUEST reads: # Dummy symbol since people have come to rely on the PRIVILEGED_GUEST # name in tools. config XEN_PRIVILEGED_GUEST def_bool XEN_DOM0 In other words: CONFIG_XEN_PRIVILEGED_GUEST should always be equal to CONFIG_XEN_DOM0. So the two grep commands should always both evaluate to true or both evaluate to false. One of these two commands can safely be dropped. Another consequence is that dropping XEN_PRIVILEGED_GUEST doesn't break this configuration script. It will still behave as it does now. (Whether that script should grep for Kconfig macros in the first place is another discussion.) Paul Bolle _______________________________________________ Virtualization mailing list Virtualization@lists.linux-foundation.org https://lists.linuxfoundation.org/mailman/listinfo/virtualization