Hi,

On 21/06/17 14:10, Julien Grall wrote:
Hi Stefano.

On 21/06/17 00:04, Stefano Stabellini wrote:
Add a warning: use passthrough with care.

Add a pointer to the gic device tree bindings. Add an explanation on how
to calculate irq numbers from device tree.

Add a brief explanation of the reg property and a pointer to the xl docs
for a description of the iomem property. Add a note that in the example
we are using different memory addresses for guests and host.

Signed-off-by: Stefano Stabellini <sstabell...@kernel.org>

Acked-by: Julien Grall <julien.gr...@arm.com>

I would also consider this doc improvement for Xen 4.9.

Cheers,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel

Reply via email to