Searched refs:RK_KERNEL_DTS_NAME (Results 1 – 25 of 27) sorted by relevance
12
46 config RK_KERNEL_DTS_NAME56 default "$RK_KERNEL_DTS_DIR/$RK_KERNEL_DTS_NAME.dts"60 default "$RK_KERNEL_DTS_DIR/$RK_KERNEL_DTS_NAME.dtb"
44 check_config RK_KERNEL_DTS_NAME RK_KERNEL_CFG RK_BOOT_IMG || return 061 run_command $KMAKE "$RK_KERNEL_DTS_NAME.img"209 check_config RK_KERNEL_DTS_NAME RK_KERNEL_CFG RK_BOOT_IMG || return 0
3 BOARD=$(echo ${RK_KERNEL_DTS_NAME:-$(echo "$RK_DEFCONFIG" | \
2 RK_KERNEL_DTS_NAME="rk3588-evb3-lp5-v10-linux"
2 RK_KERNEL_DTS_NAME="rk3588s-evb1-lp4x-v10-linux"
2 RK_KERNEL_DTS_NAME="rk3588-evb7-lp4-v10-linux"
2 RK_KERNEL_DTS_NAME="rk3588-evb1-lp4-v10-linux"
4 RK_KERNEL_DTS_NAME="OK3568-C-linux"
5 RK_KERNEL_DTS_NAME="OK3568-C-linux"
5 RK_KERNEL_DTS_NAME="OK-x-U40-linux"
3 RK_KERNEL_DTS_NAME="rk3568-evb1-ddr4-v10-linux"
3 RK_KERNEL_DTS_NAME="rk3566-evb2-lp4x-v10-linux"
4 RK_KERNEL_DTS_NAME="rk3568-evb1-ddr4-v10-linux"
4 RK_KERNEL_DTS_NAME="rk3566-evb2-lp4x-v10-linux"