On Wednesday 13 Apr 2005 19:03, David Aspinall wrote:
Philip Clayton wrote:
This is the first (pre-built) kernel distributed with Fedora Core to have had this problem and it should be easy to reproduce.
This page suggests that you might be able to get away with just rebuilding the 'driver' directory from the development sources if you want to run (reliably) with a recent kernel: http://www.polyml.org/linuxsegfault.html
David M. pointed me at this a couple of days ago, but I haven't managed to check this yet.
Yes, I'm also seeing it, on both my FC3 machines. A nuisance, as I have been planning to make a LiveCD with Isabelle on it next month, based on the latest FC release.
You know about this? Or you want FC3 specifically? http://www.brucker.ch/projects/isamorph/index.en.html
Martin