diff options
| author | Stefano Stabellini <stefano.stabellini@eu.citrix.com> | 2011-09-29 12:05:58 +0100 |
|---|---|---|
| committer | Konrad Rzeszutek Wilk <konrad.wilk@oracle.com> | 2011-09-29 10:52:16 -0400 |
| commit | 5fbdc10395cd500d6ff844825a918c4e6f38de37 (patch) | |
| tree | 4c8c1d066ba9176de2c6ffb11d77efd2c3190ff0 /drivers/misc | |
| parent | b17d0b5c0824b6a6f143a6587fa7d47abe006ab4 (diff) | |
| download | linux-5fbdc10395cd500d6ff844825a918c4e6f38de37.tar.bz2 | |
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>
Diffstat (limited to 'drivers/misc')
0 files changed, 0 insertions, 0 deletions