On Tue, 2015-03-31 at 14:00 +0100, Julien Grall wrote:
> >> +static void domcreate_attach_dtdev(libxl__egc *egc,
> >> + libxl__domain_create_state *dcs)
> >
> > I know it isn't strictly needed, but I think for consistency this
> > function should take a ret and c
Hi Ian,
On 31/03/15 12:49, Ian Campbell wrote:
> On Thu, 2015-03-19 at 19:29 +, Julien Grall wrote:
>> On ARM, every non-PCI device are described in the device tree. Each of
>> them can be found via a path.
>>
>> This patch introduces a very basic support, only the IOMMU will be set
>> up corr
On Thu, 2015-03-19 at 19:29 +, Julien Grall wrote:
> On ARM, every non-PCI device are described in the device tree. Each of
> them can be found via a path.
>
> This patch introduces a very basic support, only the IOMMU will be set
> up correctly. The user will have to:
> - Describe the dev
On ARM, every non-PCI device are described in the device tree. Each of
them can be found via a path.
This patch introduces a very basic support, only the IOMMU will be set
up correctly. The user will have to:
- Describe the device in the partial device tree
- Map manually MMIO/IRQ
This is
