Bug 411 - "FATAL: kernel too old" followed by Segmentation fault
Summary: "FATAL: kernel too old" followed by Segmentation fault
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: unspecified
Hardware: PC Other
: P2 trivial
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2007-04-10 13:27 CEST by Timothy Bourke
Modified: 2007-04-10 14:07 CEST (History)
1 user (show)

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
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.