]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 641 | README.md | blob | history | raw |
-rwxr-xr-x | 1265 | 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 | 1298 | 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-- | 67572 | kernel-config-banana-pi | blob | history | raw |
-rw-r--r-- | 73535 | kernel-config-vexpress | blob | history | raw |
-rw-r--r-- | 102898 | kernel-config-x86 | blob | history | raw |