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

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

On Fri, 9 Nov 2018, Julien Grall wrote:
> 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.

Thanks!

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