From: Walter Alejandro Iglesias <wai@roquesor.com>
Subject: Re: Thinkpad t410 does not reboot properly
To: Mark Kettenis <mark.kettenis@xs4all.nl>
Cc: tech@openbsd.org
Date: Wed, 12 Jun 2024 07:56:12 +0200

Hi Mark,

I read your log message in cvs@:

> Log message:
> Avoid powering down PCI devices if we're rebooting.  This makes some
> machines (e.g. the t410) unhappy.

Is there any reason why PCI devices should be turned off in a reboot?
(One that comes to mind why it's better not to do so is battery
consumption.)


-- 
Walter