From: Walter Alejandro Iglesias <wai@roquesor.com>
Subject: Re: Thinkpad t410 does not reboot properly
To: Abel Abraham Camarillo Ojeda <acamari@verlet.org>
Cc: tech@openbsd.org
Date: Sun, 9 Jun 2024 13:03:26 +0200

On Sun, Jun 09, 2024 at 12:39:53PM +0200, Walter Alejandro Iglesias wrote:
> > Well, I guess it depends in the amount of changes that occurred during that
> > day,
> > if you pinpointed a change already I guess its not needed
> 
> If its about the kernel, searching in cvsweb by date the nearest
> modification I found is this:
> 
>   https://cvsweb.openbsd.org/src/sys/arch/amd64/amd64/pmap.c?rev=1.168&content-type=text/x-cvsweb-markup&sortby=date
> 
> Please note that I am no expert, I have no idea what the problem may be
> related to.
> 

I will undo that diff, compile the kernel and see what happens.

Thank you Abel!