This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 411

Summary:	"FATAL: kernel too old" followed by Segmentation fault
Product:	UPPAAL	Reporter:	Timothy Bourke <tbourke>
Component:	Engine	Assignee:	Marius Mikučionis <marius>
Status:	ASSIGNED ---
Severity:	trivial	CC:	marius, tbourke
Priority:	P2
Version:	unspecified
Hardware:	PC
OS:	Other
Architecture:

Description Timothy Bourke 2007-04-10 13:27:34 CEST

Uppaal 4.0.6

The Linux binaries run on FreeBSD in compatability mode. When server.exe is run on a system emulating a 2.4.2 kernel it reports:
FATAL: kernel too old
and then causes a segmentation fault.

I understand that a 2.6.x kernel is required but the segmentation fault seems like a bug.

Comment 1 Gerd Behrmann 2007-04-10 14:07:41 CEST

Thanks. I don't have access to a FreeBSD box, so I have no chance to debug this. I will leave the bug open; maybe someone else here can do something about it.

Comment 2 Marius Mikučionis 2019-10-21 10:16:11 CEST

taking over