Re: [Xen-devel] [PATCH v3 0/4] misc safety certification fixes

[Julien Grall <julien.grall@xxxxxxx>]

On 06/11/2018 22:05, Stefano Stabellini wrote:
> Hi all,
Hi,

> This short patch series fixes a few issues discovered by the safety
> certifications code scanner. The first two patches address simple
> variable initializations concerns. The third patch introduces a new
> macro that is used throughout the code in patch #4 to access _stext,
> _etext pointers and friends.
>
> Cheers,
>
> Stefano
>
>
> Stefano Stabellini (4):
>        xen/arm: initialize target
>        xen/arm: initialize access
I have merged the 2 patches above. The rest will require a respin.

Cheers,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel