--- On Thu, 12/20/18, Robert Milton wrote:
> I'm trying to get OpenBSD to install on an
> x220 Thinkpad with Coreboot
> but I'm running into two problems: the
> ethernet device doesn't work and
> OpenBSD doesn't detect my HDD.
Did you change any of the hardware on your x220?
Lenovo has done
On Sun, 23 Dec 2018 21:24:55 +0100 (CET)
Mark Kettenis wrote:
> > Date: Sun, 23 Dec 2018 21:20:11 +0100 (CET)
> > From: Mark Kettenis
> >
> > > Date: Sun, 23 Dec 2018 19:35:02 +0100 (CET)
> > > From: Mark Kettenis
> > >
> > > > Date: Sun, 23 Dec 2018 12:26:17 +0100 (CET)
> > > > From: Mark
> Date: Sun, 23 Dec 2018 21:20:11 +0100 (CET)
> From: Mark Kettenis
>
> > Date: Sun, 23 Dec 2018 19:35:02 +0100 (CET)
> > From: Mark Kettenis
> >
> > > Date: Sun, 23 Dec 2018 12:26:17 +0100 (CET)
> > > From: Mark Kettenis
> > >
> > > That's a very good find. I think there still is a
> Date: Sun, 23 Dec 2018 19:35:02 +0100 (CET)
> From: Mark Kettenis
>
> > Date: Sun, 23 Dec 2018 12:26:17 +0100 (CET)
> > From: Mark Kettenis
> >
> > That's a very good find. I think there still is a potential race in
> > your diff on MP systems since you save the bits before removing the
> >
> Date: Sun, 23 Dec 2018 12:26:17 +0100 (CET)
> From: Mark Kettenis
>
> That's a very good find. I think there still is a potential race in
> your diff on MP systems since you save the bits before removing the
> PTE from the has tables. I'll see if I can come up with a better diff.
So here is
> Date: Wed, 19 Dec 2018 22:36:49 -0500
> From: George Koehler
>
> On Wed, 19 Dec 2018 00:13:13 -0500
> George Koehler wrote:
>
> > By my guess, pmap_is_modified() is broken on powerpc. It seems to
> > fail to return true, so uvm wouldn't know that the page is modified,
> > and then uvm