|
@@ -729,6 +729,7 @@ config ARCH_S3C64XX
|
|
|
select SAMSUNG_CLKSRC
|
|
|
select SAMSUNG_GPIOLIB_4BIT
|
|
|
select SAMSUNG_IRQ_VIC_TIMER
|
|
|
+ select SAMSUNG_WDT_RESET
|
|
|
select USB_ARCH_HAS_OHCI
|
|
|
help
|
|
|
Samsung S3C64XX series based systems
|
|
@@ -744,6 +745,7 @@ config ARCH_S5P64X0
|
|
|
select HAVE_S3C2410_WATCHDOG if WATCHDOG
|
|
|
select HAVE_S3C_RTC if RTC_CLASS
|
|
|
select NEED_MACH_GPIO_H
|
|
|
+ select SAMSUNG_WDT_RESET
|
|
|
help
|
|
|
Samsung S5P64X0 CPU based systems, such as the Samsung SMDK6440,
|
|
|
SMDK6450.
|
|
@@ -760,6 +762,7 @@ config ARCH_S5PC100
|
|
|
select HAVE_S3C2410_WATCHDOG if WATCHDOG
|
|
|
select HAVE_S3C_RTC if RTC_CLASS
|
|
|
select NEED_MACH_GPIO_H
|
|
|
+ select SAMSUNG_WDT_RESET
|
|
|
help
|
|
|
Samsung S5PC100 series based systems
|
|
|
|