Re: Xen release announcement and Virtio/Fusa

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

On Wed, 24 Nov 2021, Bertrand Marquis wrote:
> Hi Artem/Stefano
> 
> Anything we could say on work being done around Virtio and Xen since last Xen 
> release that would be nice to add to Xen release announcement ?
> 
> For reference here is what was said for previous Xen release:
> https://xenproject.org/2021/04/08/xen-project-hypervisor-4-15/
> 
> For Fusa I would suggest to say the following:
> 
> Functional Safety Update
> The working group has been analysing all MISRA rules and started to define a 
> list of possible rules followed or to be followed by Xen in the future.
> Several static code analysers have also been evaluated, both commercial and 
> open source, to do a first analysis of the non MISRA compliances in Xen and 
> also find a way for developers to check theirs patches in the future before 
> upstreaming.
> This works has been done in close collaboration with the Zephyr project and 
> the MISRA consortium.
> 
> @Stefano/Artem: please comment/complete/fix

Thanks Bertrand for taking a stab at it.

In collaboration with the Zephyr project and the MISRA consortium, the
Xen FuSa Special Interest Group analyzed MISRA C rules in depth and
defined a subset of rules that apply to Xen and will be tackled with
the community. The SIG evaluated several static code analyzers to scan
the Xen code base for MISRA C violations. The team enhanced the Xen
build system with the ability to run open source MISRA C checkers as
part of the Xen build, so that for future releases Xen contributors will
be able to easily improve the quality of their patches.