On 12/07/2016 01:43 PM, Ralf Ramsauer wrote: > From: Claudio Scordino <[email protected]> > > This patch adds the config file for Jetson TX1. > > Signed-off-by: Claudio Scordino <[email protected]> > Signed-off-by: Bruno Morelli <[email protected]> > [ralf: remove trailing newline in jetson-tx1.c, amend commit message, > align debug_console, add config file revision] > Signed-off-by: Ralf Ramsauer <[email protected]> > --- > configs/jetson-tx1.c | 465 > +++++++++++++++++++++++++++++++++++++++++++++++++++ > 1 file changed, 465 insertions(+) > create mode 100644 configs/jetson-tx1.c > > diff --git a/configs/jetson-tx1.c b/configs/jetson-tx1.c > new file mode 100644 > index 0000000000..cf80aa4786 > --- /dev/null > +++ b/configs/jetson-tx1.c > @@ -0,0 +1,465 @@ > +/* > + * Jailhouse Jetson TX1 support > + * > + * Copyright (C) 2016 Evidence Srl > + * > + * Authors: > + * Claudio Scordino <[email protected]> > + * Bruno Morelli <[email protected]> > + * > + * This work is licensed under the terms of the GNU GPL, version 2. See > + * the COPYING file in the top-level directory. > + * > + * NOTE: Add "mem=1920M vmalloc=512M" to the kernel command line. > + */ > + > +#include <jailhouse/types.h> > +#include <jailhouse/cell-config.h> > + > +#define ARRAY_SIZE(a) (sizeof(a) / sizeof(a[0])) > + > +struct { > + struct jailhouse_system header; > + __u64 cpus[1]; > + struct jailhouse_memory mem_regions[55]; > + struct jailhouse_irqchip irqchips[2]; > +} __attribute__((packed)) config = { > + .header = { > + .signature = JAILHOUSE_SYSTEM_SIGNATURE, > + .revision = JAILHOUSE_CONFIG_REVISION, > + .hypervisor_memory = { > + .phys_start = 0xfc000000, > + .size = 0x4000000, > + },
Hi Claudio and Bruno, TX1 comes with 4GiB of memory, that reaches from 0x80000000 to 0x17fffffff, right? Is there any reason why you plcae the hypervisor at 0xFC000000, in the middle of the physical memory? Ralf -- 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.
