Hello Kyle,
On 05/09/2016 11:13, Kyle Temkin wrote:
diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c
index 52c9a01..402c766 100644
--- a/xen/arch/arm/domain_build.c
+++ b/xen/arch/arm/domain_build.c
[...]
+
+bool_t platform_irq_is_routable(struct dt_raw_irq * rirq)
We
On Mon, 5 Sep 2016, Kyle Temkin wrote:
> From: "Kyle J. Temkin"
>
> Some common platforms (e.g. Tegra) have non-traditional IRQ controllers
> that must be programmed in addition to their primary GICs-- and which
> can come in unusual topologies. Device trees for targets that feature
> these contr
From: "Kyle J. Temkin"
Some common platforms (e.g. Tegra) have non-traditional IRQ controllers
that must be programmed in addition to their primary GICs-- and which
can come in unusual topologies. Device trees for targets that feature
these controllers often deviate from the conventions that Xen
