kernelconfig_penguin
default or selected kernelversion does not have config value CONFIG_83xx_WDT.
Result is shown for kernelversion 5.5.18

MPC83xx Watchdog Timer

modulename: mpc83xx_wdt.ko
configname: CONFIG_83xx_WDT

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


source code:


drivers/watchdog/mpc83xx_wdt.c