Feature #10472

Feature #10461: Support verification of Linux kernel modules on the ARM architecture

Support lightweight configuration of verification tools for target architecture

Added by Evgeny Novikov 5 months ago. Updated 5 months ago.

Tasks generation
Target version:
Start date:
Due date:
% Done:


Estimated time:
Published in build:


At the moment it is possible to develop verifier profiles for different architectures but it is inconvenient due to users need to duplicate all required verifier profiles giving them new names and changing the same options (most likely). Besides, one should select new profiles within a requirement specifications base.

We assume that it is possible to specify particular options for particular tools and architectures globally, e.g. for top-level templates, so that all child templates and verifier profiles will be configured without any efforts. In addition, users will not need to change anything in the requirement specifications base. The only thing to do is to specify "architecture": "NAME" within job.json.

You should keep in mind that nobody will prevent users for setting individual verifier profiles as usual. So, if some specific settings will be necessary ever, everybody is welcome.



Updated by Ilja Zakharov 5 months ago

  • Status changed from New to Feedback

Implemented in arm-support.


Updated by Evgeny Novikov 5 months ago

  • Status changed from Feedback to Resolved

I make small fixes and improvements in the same branch. Let's wait for CI results.


Updated by Evgeny Novikov 5 months ago

  • Status changed from Resolved to Closed

I merged the branch to master in e6a028d78.

Also available in: Atom PDF