Searched refs:RK_KERNEL_CFG (Results 1 – 25 of 28) sorted by relevance
12
44 check_config RK_KERNEL_DTS_NAME RK_KERNEL_CFG RK_BOOT_IMG || return 046 run_command $KMAKE $RK_KERNEL_CFG $RK_KERNEL_CFG_FRAGMENTS58 "$KERNEL_CONFIG_DIR/$RK_KERNEL_CFG"117 load_config RK_KERNEL_CFG118 check_config RK_KERNEL_CFG &>/dev/null || return 0149 run_command $KMAKE $RK_KERNEL_CFG \209 check_config RK_KERNEL_DTS_NAME RK_KERNEL_CFG RK_BOOT_IMG || return 0226 run_command $KMAKE $RK_KERNEL_CFG $RK_KERNEL_CFG_FRAGMENTS
28 if [ "$RK_KERNEL_CFG" ]; then72 if [ "$RK_KERNEL_CFG" ]; then
87 kernel/arch/$RK_KERNEL_ARCH/configs/$RK_KERNEL_CFG \
8 check_config RK_KERNEL_CFG RK_WIFIBT_CHIP || return 0
441 if [ "$RK_KERNEL_CFG" ]; then
4 depends on RK_KERNEL_CFG != ""6 if RK_KERNEL_CFG = ""
4 depends on RK_KERNEL_CFG = ""6 if RK_KERNEL_CFG != ""
104 depends on RK_KERNEL_CFG = ""106 if RK_KERNEL_CFG != ""245 depends on RK_KERNEL_CFG = ""247 if RK_KERNEL_CFG != ""
4 depends on RK_KERNEL_CFG = ""9 if RK_KERNEL_CFG != "" && !RK_ROOTFS_INITRD
5 config RK_KERNEL_CFG16 if RK_KERNEL_CFG != ""
3 if RK_KERNEL_CFG != ""
49 if RK_KERNEL_CFG != ""
3 RK_KERNEL_CFG="OK-x-U40-linux_defconfig"