|Summary:||"FATAL: kernel too old" followed by Segmentation fault|
|Product:||UPPAAL||Reporter:||Timothy Bourke <tbourke>|
|Component:||Engine||Assignee:||Marius Mikučionis <marius>|
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