[Xen-devel] [PATCH RFC 0/6] ARM: Add support for Tegra SoCs (incl. Jetson TK1, Jetson TX1)

[Kyle Temkin <kyle@xxxxxxxxxxx>]

The attached patch-set adds support for 32-bit and 64-bit Tegra SoCs; including
support for the Jetson TK1 and Jetson TX1 boards, as well as the Pixel C tablet.
It has been tested on the TK1, TX1, and Pixel C.

Many thanks to Ian Campbell, whose original Jetson TK1 patchset contained a lot
of pointers in the right direction, and helped us to get started on this one!

This patch set includes:
  - Some minor serial quirks to get the NS16550 on the Tegra fully working,
    which extend Chris Patterson's previous serial fixes with a very minor 
    Tegra-specific quirk.
  - Support for the Tegra Legacy Interrupt Controller, which is necessary to get
    interrupt routing working correctly on Tegra devices. In this version of the
    patchset, the interrupt controller is supported via platform quirks.
  - A few additional minor features and logic fixes to support the Tegra. An
    example would be the Tegra-specific reset logic.

This patch set does NOT include:
  - Support for the Tegra-specific IOMMU. This means this platform doesn't yet
    support device passthrough. I do expect to write a driver for the IOMMU at
    some point in the future, but don't think it's necessary for this initial 
    patchset.

Thoughts and concerns:
  - This patchset includes what is essentially a simple driver for the Tegra
    Legacy Interrupt Controller inside the platform code. Ideally, I'd rather
    see this as a dedicated irqchip driver (perhaps under drivers/irqchip?)
    instead of a chunk of platform code, but this currently isn't easily
    accomplished, as Xen only supports a simple single-GIC topology.
  - This patchset introduces four new platform hooks that enable a platform to
    override the IRQ routing logic: 'route_irq_to_guest', 'route_irq_to_xen',
    'irq_is_routable', and 'irq_for_device'. I don't really like adding more
    platform hooks -- especially as these seem like natural methods of an
    irqchip driver -- but again am limited by the current single-GIC topology.

I'm looking forward to feedback on this patch set-- and am definitely open to
changes!


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