The i6300esb watchdog device is generic enough to be used on any PCI platform; however, having an "Intel" device on a non-x86 platform looks a bit odd. Just call it a "virtual" device instead, and also fix an old typo for the config option while at it.
Cornelia Huck (2): watchdog: CONFIG_WDT_IB6300ESB -> CONFIG_WDT_I6300ESB watchdog: generic name for i6300esb hw/watchdog/Kconfig | 2 +- hw/watchdog/meson.build | 2 +- hw/watchdog/wdt_i6300esb.c | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) -- 2.49.0