# CONFIG_RTC_DRV_MOXART is not set