*hacky* basic support for Nvidia Tegra K1/Jetson board (probably ignore)

There is a lot of hacky and WIP stuff here, including a serial driver issue (FIFO depth? Interrupts?) which I haven't gotten to the bottom of yet. But with these hacks and sync_console I can boot on the platform and run guests etc.

Actually only up to and including patch #7 "HACK: xen: arm: trying to figure out ns16550 vs. Tegra issue" are needed for a functioning system.

I'm not sure when I'll be able to dig in properly into the issues so I'm sending it out now. Nothing here is to be applied, except possibly "xen:
arm: Add debug keyhandler to dump the physical GIC stat" but even that needs more cleanup I think (in particular only handles GICv2).

I've deliberately not CC-d anyone on the patches themselves so as not to spam you with half complete rubbish.

The following changes since commit f0ffd6032f679ec4b9a39d526cdbcdaf692e2f03:

netif.h: describe request/response structures in terms of binary layout (2015-03-03 11:26:24 +0000)

are available in the git repository at:

git://xenbits.xen.org/people/ianc/xen.git tegra-tk1-jetson-v1

for you to fetch changes up to c78d51660446d33dac4bb07c3c17e1d14d62ebc2:

Tegra hacking. (2015-03-10 08:55:00 +0000)

----------------------------------------------------------------
Ian Campbell (10):
xen: arm: Add debug keyhandler to dump the physical GIC state.
xen: arm: earlyprintk support for Nvidia Jetson
xen: arm: add platform hook for routing IRQ to guests
WIP: xen: ns16550: Add nvidia,tegra20-uart to DT compatible list
WIP: xen: arm: intial platform support for Nvidia TK1
HACK: xen: arm: Map other regions to dom0 after one fails
HACK: xen: arm: trying to figure out ns16550 vs. Tegra issue
HACK: xen: arm: Add mask, unmask and eoi platform hooks.
HACK: xen: arm: stop recursing with dom0 mappings once we've hit a ranges. Tegra hacking.

 docs/misc/arm/early-printk.txt  |   1 +
 xen/arch/arm/Rules.mk           |   5 +++
 xen/arch/arm/domain.c           |   2 +-
 xen/arch/arm/domain_build.c     |  23 +++++++---
 xen/arch/arm/gic-v2.c           |  69 +++++++++++++++++++++++++++++-
 xen/arch/arm/gic-v3.c           |   5 ++-
 xen/arch/arm/gic.c              |  25 ++++++++++-
 xen/arch/arm/irq.c              |   4 ++
 xen/arch/arm/platform.c         |  22 ++++++++++
 xen/arch/arm/platforms/Makefile |   1 +
 xen/arch/arm/platforms/tegra.c  | 461 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 xen/drivers/char/ns16550.c      |  17 +++++++-
 xen/include/asm-arm/gic.h       |   6 ++-
 xen/include/asm-arm/platform.h  |  13 ++++++
 14 files changed, 639 insertions(+), 15 deletions(-)
 create mode 100644 xen/arch/arm/platforms/tegra.c

Ian.