| ARCH=arm | |
| BRANCH=android-exynos-koi-3.18 | |
| CROSS_COMPILE=arm-linux-androidkernel- | |
| DEFCONFIG=koi_defconfig | |
| EXTRA_CMDS='' | |
| KERNEL_DIR=private/exynos-casio-cw | |
| LINUX_GCC_CROSS_COMPILE_PREBUILTS_BIN=prebuilts/gcc/linux-x86/arm/arm-linux-androideabi-4.9/bin | |
| FILES=" | |
| arch/arm/boot/zImage-dtb | |
| vmlinux | |
| System.map | |
| " |