Feature #11458
closed
Improve support for Linux 5.10
Added by Evgeny Novikov about 2 years ago.
Updated about 2 years ago.
Category:
Environment models
Description
The latest specifications set in Klever suits Linux 5.5 released more than 2 years ago. Linux 5.10 was released on December 13, 2020, it has a long term support.
- Related to Bug #11464: C back-end incorrectly handles initialization of anonymous unions added
- Status changed from New to Resolved
From my standpoint it is not necessary to develop a separate specifications set for Linux 5.10. I could fix several minor issues that may be relevant for other versions of the Linux kernel including supported ones in branch support-linux-5.10. Let's see on testing results.
Disclaimer. This does not mean at all that Klever perfectly works for Linux 5.10. Indeed there are a lot of various issues in specifications and components that spoil verification results, but (all) these issues are not specific for Linux 5.10, so one has to fix them separately anyway.
- Status changed from Resolved to Closed
Tests passes, so I merged the branch to master in a88a90b78.
Also available in: Atom
PDF