tree 4c8c1d066ba9176de2c6ffb11d77efd2c3190ff0
parent b17d0b5c0824b6a6f143a6587fa7d47abe006ab4
author Stefano Stabellini <stefano.stabellini@eu.citrix.com> 1317294358 +0100
committer Konrad Rzeszutek Wilk <konrad.wilk@oracle.com> 1317307936 -0400

xen: remove XEN_PLATFORM_PCI config option

Xen PVHVM needs xen-platform-pci, on the other hand xen-platform-pci is
useless in any other cases.
Therefore remove the XEN_PLATFORM_PCI config option and compile
xen-platform-pci built-in if XEN_PVHVM is selected.

Changes to v1:

- remove xen-platform-pci.o and just use platform-pci.o since it is not
externally visible anymore.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Signed-off-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>