Integrate source kernel build for tart

Switch from prebuilt kernel to source kernel build via TARGET_KERNEL_SOURCE.
- BoardConfig.mk: add TARGET_KERNEL_SOURCE, TARGET_KERNEL_CONFIG, TARGET_KERNEL_ARCH
- device.mk: remove deprecated prebuilt Image copy (kernel build handles it)
- mkimg.sh: prefer KERNEL_BUILD_OUT artifacts, fall back to prebuilt

BoardConfig.mk

@@ -36,6 +36,11 @@ BOARD_CUSTOM_BOOTIMG_MK := $(DEVICE_PATH)/mkbootimg.mk
 BOARD_KERNEL_IMAGE_NAME := Image
 BOARD_KERNEL_CMDLINE := console=ttyS2,1500000 no_console_suspend root=/dev/ram0 rootwait androidboot.hardware=tart
 
+# Source kernel build (overrides the deprecated prebuilt kernel)
+TARGET_KERNEL_SOURCE := kernel/rockchip/tart
+TARGET_KERNEL_CONFIG := tart_defconfig
+TARGET_KERNEL_ARCH := arm64
+
 # Manifest
 DEVICE_FRAMEWORK_COMPATIBILITY_MATRIX_FILE := $(DEVICE_PATH)/framework_compatibility_matrix.xml
 DEVICE_MANIFEST_FILE := $(DEVICE_PATH)/manifest.xml

device.mk

@@ -187,10 +187,7 @@ PRODUCT_PACKAGES += \
     android.hidl.allocator@1.0-service \
     hwservicemanager
 
-# Kernel
-PRODUCT_COPY_FILES += \
-    $(DEVICE_PATH)-kernel/Image:$(PRODUCT_OUT)/kernel
-
+# Kernel (built from source via TARGET_KERNEL_SOURCE)
 # Keylayout
 PRODUCT_COPY_FILES += \
     $(DEVICE_PATH)/keylayout/Generic.kl:$(TARGET_COPY_OUT_VENDOR)/usr/keylayout/Generic.kl

mkimg.sh

@@ -15,6 +15,7 @@ IFS=$'\n\t'
 
 DEVICE_PATH=device/rockchip/tart
 KERNEL_PATH=device/rockchip/tart-kernel
+KERNEL_BUILD_OUT=${ANDROID_PRODUCT_OUT}/obj/KERNEL_OBJ
 
 # Helper: print error and cleanup
 exit_with_error() {
@@ -127,8 +128,13 @@ sudo mkfs.vfat -F 32 -n "boot" "/dev/mapper/${LOOPDEV}p1"
 # Mount the boot partition and copy kernel/boot files
 BOOT_MOUNT=$(mktemp -d)
 sudo mount "/dev/mapper/${LOOPDEV}p1" "${BOOT_MOUNT}"
-sudo cp ${KERNEL_PATH}/Image "${BOOT_MOUNT}/"
-sudo cp ${KERNEL_PATH}/rk3588-orangepi-5-ultra.dtb "${BOOT_MOUNT}/"
+if [ -f "${KERNEL_BUILD_OUT}/arch/arm64/boot/Image" ]; then
+  sudo cp ${KERNEL_BUILD_OUT}/arch/arm64/boot/Image "${BOOT_MOUNT}/"
+  sudo cp ${KERNEL_BUILD_OUT}/arch/arm64/boot/dts/rockchip/rk3588-orangepi-5-ultra.dtb "${BOOT_MOUNT}/"
+else
+  sudo cp ${KERNEL_PATH}/Image "${BOOT_MOUNT}/"
+  sudo cp ${KERNEL_PATH}/rk3588-orangepi-5-ultra.dtb "${BOOT_MOUNT}/"
+fi
 sudo mkdir -p "${BOOT_MOUNT}/extlinux"
 sudo tee "${BOOT_MOUNT}/extlinux/extlinux.conf" > /dev/null << 'EXTLINUX_EOF'
 label LineageOS Android TV