index fee3c2a..82e7de0 100644
--- a/sys/arch/amd64/conf/GENERIC
+++ b/sys/arch/amd64/conf/GENERIC
@@ -608,6 +608,7 @@ bktr0 at pci?
radio* at bktr?
#wdt0 at pci? # Ind Computer Source PCI-WDT50x driver
+#ib700wdt* at isa? port 0x441 # iBase 700 (IB700) Watchdog Timer
@@ -608,6 +608,7 @@ bktr0 at pci?
> > radio* at bktr?
> >
> > #wdt0 at pci? # Ind Computer Source PCI-WDT50x driver
> > +#ib700wdt* at isa? port 0x441 # iBase 700 (IB700) Watchdog Timer
> >
> > # crypto support
> > hifn*
On 17/03/16(Thu) 14:28, Masao Uebayashi wrote:
> This tiny driver is only meant for a backup watchdog configuration on
> QEMU, whose ICH watchdog, supported by ichwdt(4), seems broken.
What's the problem? Is it in our code or in QEMU?
+#ib700wdt* at isa? port 0x441 # iBase 700 (IB700) Watchdog Timer
We don't do drivers with numbers in their names.
+int
+ib700wdt_match(struct device *parent, void *match, void *aux)
+{
+ struct isa_attach_args *ia = aux;
+
+ ia->ia_iosize = IB700WDT_SIZE;
+ ia->i
at pci? # Ind Computer Source PCI-WDT50x driver
> +#ib700wdt* at isa? port 0x441# iBase 700 (IB700) Watchdog Timer
>
> # crypto support
> hifn*at pci? # Hi/fn 7751 crypto card
> diff --git a/sys/arch/i386/conf/GENERIC b/sys/arch/i