13 Apr
2005
13 Apr
'05
8:03 p.m.
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.
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.
- David.
[da@montague ~]$ poly Poly/ML RTS version I386-4.1.2 (23:34:01 Sep 1 2003) Copyright (c) 2002 CUTS and contributors. Running with heap parameters (h=10240K,ib=2048K,ip=100%,mb=6144K,mp=20%) Segmentation fault [da@montague ~]$ uname -a Linux montague.da 2.6.11-1.14_FC3 #1 Thu Apr 7 19:23:49 EDT 2005 i686 athlon i386 GNU/Linux