Re: kern/56568: ipmi.c 1.7 causes large boot delays

[Manuel Bouyer <bouyer%antioche.eu.org@localhost>]

On Tue, Dec 03, 2024 at 01:00:57AM +0000, Taylor R Campbell wrote:
> The attached patch -- compile-tested only -- tries to resolve the
> present conflict between long ipmi(4) initialization time and early
> use of wdogctl(8) at boot by:
> 
> (a) allowing boot to proceed with config_pending_decr sooner, before
>     device initialization has completed; and
> 
> (b) making watchdog configuration wait until initialization has
>     completed.
> 
> Testing welcome!

Looks fine on a supermicro board:
...
[   1.0000000] ipmi0 at mainbus0
...
[   4.8031702] root file system type: ffs
[   4.8231724] kern.module.path=/stand/amd64/10.0/modules
[   5.1331493] entropy: best effort
Tue Dec  3 11:39:01 MET 2024
rcorder: could not open /etc/rc.d/xenbackendd: No such file or directory
rcorder: could not open /etc/rc.d/xend: No such file or directory
Starting watchdog timer.
[  13.1031692] ipmi0: ID 32.1 IPMI 2.0 Available
Starting root file system check:

"Starting watchdog timer" did cause the 8s pause 

-- 
Manuel Bouyer <bouyer%antioche.eu.org@localhost>
     NetBSD: 26 ans d'experience feront toujours la difference
--