1# 2 3comment "RTOS should not have kernel" 4 depends on RK_KERNEL_CFG != "" 5 6if RK_KERNEL_CFG = "" 7 8menu "RTOS" 9 10config RK_RTOS 11 bool "RTOS" 12 select RK_UBOOT_SPL 13 14if RK_RTOS 15 16config RK_RTTHREAD_TARGET 17 string "RT-thread target" 18 default "rk3308-32" 19 20config RK_RTOS_UBOOT_CFG 21 string "RTOS u-boot config" 22 default "rk3308-aarch32-amp" 23 24config RK_RTOS_ARCH 25 string 26 default "arm" if RK_RTOS_ARM32 27 default "arm64" if RK_RTOS_ARM64 28 29choice 30 prompt "RTOS arch" 31 default RK_RTOS_ARM32 32 33config RK_RTOS_ARM64 34 bool "arm64" 35 depends on !RK_CHIP_ARM32 36 37config RK_RTOS_ARM32 38 bool "arm" 39 40endchoice 41 42endif 43 44endmenu # RTOS 45 46endif 47