1# 2 3menu "Kernel" 4 5config RK_KERNEL_CFG 6 string "kernel defconfig" 7 default "px30_linux_defconfig" if RK_CHIP = "px30" || \ 8 RK_CHIP = "rk3326" || RK_CHIP_FAMILY = "rk3358" 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" 15 16if RK_KERNEL_CFG != "" 17 18config RK_KERNEL_VERSION 19 string "kernel version, e.g. 5.10" 20 21config RK_KERNEL_ARCH 22 string 23 default "arm" if RK_KERNEL_ARM32 24 default "arm64" if RK_KERNEL_ARM64 25 26choice 27 prompt "kernel arch" 28 29config RK_KERNEL_ARM64 30 bool "arm64" 31 depends on !RK_CHIP_ARM32 32 33config RK_KERNEL_ARM32 34 bool "arm" 35 36endchoice 37 38config RK_KERNEL_CFG_FRAGMENTS 39 string "kernel defconfig fragments" 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" 45 46config RK_KERNEL_DTS_NAME 47 string "kernel device-tree name" 48 49config RK_KERNEL_DTS_DIR 50 string 51 default "kernel/arch/arm/boot/dts" if RK_KERNEL_ARCH = "arm" 52 default "kernel/arch/arm64/boot/dts/rockchip" 53 54config RK_KERNEL_DTS 55 string 56 default "$RK_KERNEL_DTS_DIR/$RK_KERNEL_DTS_NAME.dts" 57 58config RK_KERNEL_DTB 59 string 60 default "$RK_KERNEL_DTS_DIR/$RK_KERNEL_DTS_NAME.dtb" 61 62config RK_KERNEL_IMG_NAME 63 string "kernel image name" 64 default "zImage" if RK_KERNEL_ARM32 && RK_BOOT_COMPRESSED 65 default "Image.lz4" if RK_KERNEL_ARM64 && RK_BOOT_COMPRESSED 66 default "Image" 67 68config RK_KERNEL_IMG 69 string 70 default "kernel/arch/$RK_KERNEL_ARCH/boot/$RK_KERNEL_IMG_NAME" 71 72config RK_KERNEL_KBUILD_ARCH 73 string 74 default "host" if RK_KERNEL_KBUILD_HOST 75 default "armhf" if RK_KERNEL_KBUILD_ARM32 76 default "aarch64" if RK_KERNEL_KBUILD_ARM64 77 78choice 79 prompt "kbuild tools arch" 80 81config RK_KERNEL_KBUILD_HOST 82 bool "host arch" 83 84config RK_KERNEL_KBUILD_ARM64 85 bool "aarch64" 86 depends on !RK_CHIP_ARM32 87 88config RK_KERNEL_KBUILD_ARM32 89 bool "armhf" 90 91endchoice 92 93endif 94 95endmenu # Kernel 96