Subject: Re: port-i386/36206: Segmentation faults with SMP on
To: Andrew Doran <email@example.com>
From: Matthias Drochner <M.Drochner@fz-juelich.de>
Date: 06/14/2007 18:51:32
> Intel released a microcode patch that apparently fixes some TLB
> issues in certain Core 2 Duo CPUs
Thanks -- they are not eager to announce it publically
as it appears.
Just found a new BIOS on the Dell website, marked "urgent"
(but one has to search for it).
> Adding a tlbflushg() in pmap_destroy() is a workaround. Matthias
> Drochner tested this and it's confirmed.
Yes this helped. I've just flashed the new BIOS and removed
the tlbflushg() -- seems that the problem is gone.