nuttx/configs/compal_e88/Kconfig