On Fri, 16 Jan 2015, Julien Grall wrote:
> Currently, Xen is supporting PCI and Platform device (based on Device Tree).
>
> While Xen only supports Platform device on ARM, Xen will gain support of
> PCI soon.
>
> Some drivers, such as IOMMU drivers, may handle PCI and platform device in
> the sam
Hi Jan,
On 16/01/15 14:59, Jan Beulich wrote:
On 16.01.15 at 15:24, wrote:
>> ---
>> xen/common/device.c | 21 +
>> xen/common/device_tree.c | 3 +++
>
> Is there a Makefile change missing here?
No. The file common/device.c should not be there. I drop fo
>>> On 16.01.15 at 15:24, wrote:
> ---
> xen/common/device.c | 21 +
> xen/common/device_tree.c | 3 +++
Is there a Makefile change missing here?
> --- /dev/null
> +++ b/xen/common/device.c
> @@ -0,0 +1,21 @@
> +#include
> +#include
> +
> +void device_initia
Currently, Xen is supporting PCI and Platform device (based on Device Tree).
While Xen only supports Platform device on ARM, Xen will gain support of
PCI soon.
Some drivers, such as IOMMU drivers, may handle PCI and platform device in
the same way. Only few lines of code differs.
Rather than req
