# CONFIG_RTC_DRV_M41T80 is not set
