# CONFIG_RTC_DRV_ZYNQMP is not set