Lines Matching refs:default

7 	default "px30_linux_defconfig" if RK_CHIP = "px30" || \
9 	default "rv1126_defconfig" if RK_CHIP_FAMILY = "rv1126_rv1109"
10 	default "rk1806_linux_defconfig" if RK_CHIP = "rk1806"
11 	default "rk1808_linux_defconfig" if RK_CHIP = "rk1808"
12 	default "rk3308_linux_defconfig" if RK_CHIP_FAMILY = "rk3308"
13 	default "OK3568-C-linux_defconfig" if RK_CHIP = "OK3568"
14 	default "rockchip_linux_defconfig"
23 	default "arm" if RK_KERNEL_ARM32
24 	default "arm64" if RK_KERNEL_ARM64
40 	default "rk3126_linux.config" if RK_CHIP = "rk3126c"
41 	default "rk3128_linux.config" if RK_CHIP = "rk3128"
42 	default "rk3326_linux.config" if RK_CHIP = "rk3326"
43 	default "rk3358_linux.config" if RK_CHIP_FAMILY = "rk3358"
44 	default "rk3588_linux.config" if RK_CHIP_FAMILY = "rk3588"
51 	default "kernel/arch/arm/boot/dts" if RK_KERNEL_ARCH = "arm"
52 	default "kernel/arch/arm64/boot/dts/rockchip"
56 	default "$RK_KERNEL_DTS_DIR/$RK_KERNEL_DTS_NAME.dts"
60 	default "$RK_KERNEL_DTS_DIR/$RK_KERNEL_DTS_NAME.dtb"
64 	default "zImage" if RK_KERNEL_ARM32 && RK_BOOT_COMPRESSED
65 	default "Image.lz4" if RK_KERNEL_ARM64 && RK_BOOT_COMPRESSED
66 	default "Image"
70 	default "kernel/arch/$RK_KERNEL_ARCH/boot/$RK_KERNEL_IMG_NAME"
74 	default "host" if RK_KERNEL_KBUILD_HOST
75 	default "armhf" if RK_KERNEL_KBUILD_ARM32
76 	default "aarch64" if RK_KERNEL_KBUILD_ARM64