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

Bug 411 - "FATAL: kernel too old" followed by Segmentation fault
Summary: "FATAL: kernel too old" followed by Segmentation fault
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: unspecified
Hardware: PC Other
: P2 trivial
Assignee: Marius Mikučionis
Depends on:
Reported: 2007-04-10 13:27 CEST by Timothy Bourke
Modified: 2019-10-21 10:16 CEST (History)
2 users (show)

See Also:


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.
Comment 2 Marius Mikučionis 2019-10-21 10:16:11 CEST
taking over