]> rtime.felk.cvut.cz Git - jailhouse.git/commit
projects / jailhouse.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6be28d4) | patch
tools: config-create: refuse to generate config if jailhouse is enabled
authorHenning Schild <henning.schild@siemens.com>
Fri, 11 Jul 2014 14:19:27 +0000 (16:19 +0200)
committerJan Kiszka <jan.kiszka@siemens.com>
Tue, 22 Jul 2014 13:49:34 +0000 (15:49 +0200)
commit527379061feb4c128a800ae768158c410a1d91ec
tree84740928fe2ac5080f3fd3b5e8bfa3879609b181tree | snapshot
parent6be28d4eb10482c7637bbe1ed04eb06502da115ecommit | diff
tools: config-create: refuse to generate config if jailhouse is enabled

The input files used by the configuration generator might look different
on a system where jailhouse is enabled. Think missing cpus, pci devices etc.
Refuse to work with potentially corrupt input data.

Signed-off-by: Henning Schild <henning.schild@siemens.com>
[Jan: add python2 compatibility]
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
tools/jailhouse-config-create diff | blob | history