From: Jan Kiszka <[email protected]> Several options became obsolete, others should be tested. Add them all into a generic jailhouse-config.h.
Signed-off-by: Jan Kiszka <[email protected]> --- ci/build-all-configs.sh | 2 +- ci/jailhouse-config-amd-seattle.h | 2 -- ci/jailhouse-config-banana-pi.h | 1 - ci/jailhouse-config-x86.h | 1 - ci/jailhouse-config.h | 3 +++ 5 files changed, 4 insertions(+), 5 deletions(-) delete mode 100644 ci/jailhouse-config-amd-seattle.h delete mode 100644 ci/jailhouse-config-banana-pi.h delete mode 100644 ci/jailhouse-config-x86.h create mode 100644 ci/jailhouse-config.h diff --git a/ci/build-all-configs.sh b/ci/build-all-configs.sh index 32c8161f..81898fc1 100755 --- a/ci/build-all-configs.sh +++ b/ci/build-all-configs.sh @@ -30,7 +30,7 @@ for CONFIG in $CONFIGS; do echo echo "*** Building configuration $CONFIG ***" - cp ci/jailhouse-config-$CONFIG.h include/jailhouse/config.h + cp ci/jailhouse-config.h include/jailhouse/config.h case $CONFIG in x86) diff --git a/ci/jailhouse-config-amd-seattle.h b/ci/jailhouse-config-amd-seattle.h deleted file mode 100644 index 0510b942..00000000 --- a/ci/jailhouse-config-amd-seattle.h +++ /dev/null @@ -1,2 +0,0 @@ -#define CONFIG_TRACE_ERROR 1 -#define CONFIG_MACH_AMD_SEATTLE 1 diff --git a/ci/jailhouse-config-banana-pi.h b/ci/jailhouse-config-banana-pi.h deleted file mode 100644 index 7e8a98d0..00000000 --- a/ci/jailhouse-config-banana-pi.h +++ /dev/null @@ -1 +0,0 @@ -#define CONFIG_MACH_BANANAPI 1 diff --git a/ci/jailhouse-config-x86.h b/ci/jailhouse-config-x86.h deleted file mode 100644 index abac1b12..00000000 --- a/ci/jailhouse-config-x86.h +++ /dev/null @@ -1 +0,0 @@ -#define CONFIG_TRACE_ERROR 1 diff --git a/ci/jailhouse-config.h b/ci/jailhouse-config.h new file mode 100644 index 00000000..a4562125 --- /dev/null +++ b/ci/jailhouse-config.h @@ -0,0 +1,3 @@ +#define CONFIG_TRACE_ERROR 1 +#define CONFIG_CRASH_CELL_ON_PANIC 1 +#define CONFIG_TEST_DEVICE 1 -- 2.16.4 -- 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/jailhouse-dev/ca9863efd13be47d8be61ba7e2738feff370d73b.1581770164.git.jan.kiszka%40web.de.
