>Huh ? devo_reset ?
>
>from dev_ops(9s)
>
>     devo_reset              Reset device. (Not supported in this
>                             release.) Set this to nodev.
>
>Is it not correct anymore ?

The use of this is not supported; but it appears it is required
some times in order for warm boot (boot after "reboot", "panic"
and the like) to succeed.

Casper

Reply via email to