# CONFIG_RTC_DRV_DS1742 is not set
