Feature #11458
closedImprove support for Linux 5.10
0%
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.
Updated by Evgeny Novikov over 2 years ago
- Blocks Feature #11459: Improve support for Linux 5.17 added
Updated by Evgeny Novikov over 2 years ago
- Related to Bug #11464: C back-end incorrectly handles initialization of anonymous unions added
Updated by Evgeny Novikov over 2 years ago
- Related to Feature #11465: Update CIF added
Updated by Evgeny Novikov over 2 years ago
- 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.
Updated by Evgeny Novikov over 2 years ago
- Status changed from Resolved to Closed
Tests passes, so I merged the branch to master in a88a90b78.