Re: [PATCH v3 01/14] tools: jailhouse-config-create: Rename regions to mem_regions in preparation for port_regions

2019-10-07 Thread Jan Kiszka
On 30.09.19 21:13, Andrej Utz wrote: > Signed-off-by: Andrej Utz > Signed-off-by: Ralf Ramsauer > --- > tools/jailhouse-config-create | 10 +- > tools/root-cell-config.c.tmpl | 4 ++-- > 2 files changed, 7 insertions(+), 7 deletions(-) > > diff --git a/tools/jailhouse-config-create b/t

[PATCH v3 01/14] tools: jailhouse-config-create: Rename regions to mem_regions in preparation for port_regions

2019-09-30 Thread Andrej Utz
Signed-off-by: Andrej Utz Signed-off-by: Ralf Ramsauer --- tools/jailhouse-config-create | 10 +- tools/root-cell-config.c.tmpl | 4 ++-- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/tools/jailhouse-config-create b/tools/jailhouse-config-create index 55601a6d..cfa7fbad