]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 641 | README.md | blob | history | raw |
-rwxr-xr-x | 1251 | build-all-configs.sh | blob | history | raw |
-rw-r--r-- | 1319 | coverity-scan-build.sh | blob | history | raw |
-rw-r--r-- | 725 | coverity_model.c | blob | history | raw |
-rwxr-xr-x | 1306 | gen-kernel-build.sh | blob | history | raw |
-rw-r--r-- | 89 | jailhouse-config-banana-pi.h | blob | history | raw |
-rw-r--r-- | 124 | jailhouse-config-vexpress.h | blob | history | raw |
-rw-r--r-- | 30 | jailhouse-config-x86.h | blob | history | raw |
-rw-r--r-- | 63023 | kernel-config-banana-pi | blob | history | raw |
-rw-r--r-- | 69189 | kernel-config-vexpress | blob | history | raw |
-rw-r--r-- | 96938 | kernel-config-x86 | blob | history | raw |
-rw-r--r-- | 85737 | kernel-config-x86-custom | blob | history | raw |