]> rtime.felk.cvut.cz Git - jailhouse.git/tree - ci/
jailhouse: linux-config: Use the custom version. Changes includes:
[jailhouse.git] / ci /
drwxr-xr-x   ..
-rw-r--r-- 641 README.md
-rwxr-xr-x 1251 build-all-configs.sh
-rw-r--r-- 1319 coverity-scan-build.sh
-rw-r--r-- 725 coverity_model.c
-rwxr-xr-x 1306 gen-kernel-build.sh
-rw-r--r-- 89 jailhouse-config-banana-pi.h
-rw-r--r-- 124 jailhouse-config-vexpress.h
-rw-r--r-- 30 jailhouse-config-x86.h
-rw-r--r-- 63023 kernel-config-banana-pi
-rw-r--r-- 69189 kernel-config-vexpress
-rw-r--r-- 96938 kernel-config-x86
-rw-r--r-- 85737 kernel-config-x86-custom