kernelconfig_penguin

CONFIG_HAVE_S3C2410_WATCHDOG (not configurable)

configname: CONFIG_HAVE_S3C2410_WATCHDOG

Linux Kernel Configuration
└─> Device Drivers
└─> Watchdog Timer Support
└─> HAVE_S3C2410_WATCHDOG

This will include watchdog timer support for Samsung SoCs. If
you want to include watchdog support for any machine, kindly
select this in the respective mach-XXXX/Kconfig file.