-
# CONFIG_6PACK is not set
# CONFIG_8139CP is not set
# CONFIG_9P_FS is not set
# CONFIG_RTC_CLASS is not set
CONFIG_RTC_DRV_CMOS=y
# CONFIG_RTC_DRV_MAX6900 is not set
+CONFIG_RTC_LIB=y
# CONFIG_RTL8187 is not set
CONFIG_RT_MUTEXES=y
# CONFIG_S2IO is not set