Hi,

this a rebase of Claudio's TX1 support patches on top of next. Successfully
tested on a TX1.  Let's also increase the config file revision by now.

  Ralf

Claudio Scordino (4):
  inmates: add support for Tegra TX1
  configs: add config files for Jetson TX1
  configs: rename jetson-tk1-demo.c to jetson-demo.c
  README: add Nvidia TX1 among the supported boards

Ralf Ramsauer (1):
  core: Increment config file revision

 README.md                                          |   1 +
 configs/{jetson-tk1-demo.c => jetson-demo.c}       |   4 +-
 configs/jetson-tx1.c                               | 465 +++++++++++++++++++++
 hypervisor/include/jailhouse/cell-config.h         |   2 +-
 inmates/lib/arm64/Makefile.lib                     |   1 +
 .../arm64/include/mach-tegra-tx1/mach/console.h    |  15 +
 .../lib/arm64/include/mach-tegra-tx1/mach/gic_v2.h |  14 +
 .../lib/arm64/include/mach-tegra-tx1/mach/timer.h  |  13 +
 8 files changed, 512 insertions(+), 3 deletions(-)
 rename configs/{jetson-tk1-demo.c => jetson-demo.c} (92%)
 create mode 100644 configs/jetson-tx1.c
 create mode 100644 inmates/lib/arm64/include/mach-tegra-tx1/mach/console.h
 create mode 100644 inmates/lib/arm64/include/mach-tegra-tx1/mach/gic_v2.h
 create mode 100644 inmates/lib/arm64/include/mach-tegra-tx1/mach/timer.h

-- 
2.11.0.rc2

-- 
You received this message because you are subscribed to the Google Groups 
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to