RE: Xen FuSa meeting Oct 20 minutes

[Artem Mygaiev <Artem_Mygaiev@xxxxxxxx>]

Hi Bernard

PFA screenshot (sorry) of list of issues we've opened when ported Xen on Arm 
Safety Compiler
Need to check if they were addressed in the upcoming release

 -- Artem

-----Original Message-----
From: Fusa-sig <fusa-sig-bounces@xxxxxxxxxxxxxxxxxxxx> On Behalf Of Bertrand 
Marquis
Sent: среда, 21 октября 2020 г. 13:27
To: Stefano Stabellini <stefano.stabellini@xxxxxxxxxx>
Cc: fusa-sig@xxxxxxxxxxxxxxxxxxxx; stefanos@xxxxxxxxxx
Subject: Re: Xen FuSa meeting Oct 20 minutes

Hi Stefano,

Some corrections and information added

> On 20 Oct 2020, at 16:59, Stefano Stabellini <stefano.stabellini@xxxxxxxxxx> 
> wrote:
> 
> Hi all,
> 
> These are the minutes from today's Xen FuSa meeting.
> 
> Cheers,
> 
> Stefano
> 
> 
> # Docs
> 
> Ask slides, doxygen configuration, and other things that he used 
> during Zephyr's presentation
> ACTION: Stefano
> 
> Plan:
> - xen.git under FuSa.git
> - add Stefano's modified headers
> - add doxygen config to the xen.git tree
> - further modify headers
> ACTION: Stefano and Bertrand
> 
> 
> # MISRA C
> 
> Sonarcloud: free-for-opensource online MISRA C checker
> ACTION: Artem to explore Sonarcloud results for Xen
> ACTION: Artem to get in touch with ResilTech on MISRA C checking
> 
> 
> # ARMClang safety compiler
> 
> Send Xen patch series to build with armclang to fusa-list for 
> reference
> ACTION: Artem
> 

We got in contact with the toolchain people at arm.
Most of the problems should have a workaround or be resolved with the compiler 
released this month.
Once i have your patches i will do some tests with it and confirm. 

> 
> # Testing
> 
> Bertrand:
> Unit testing in Xen to link to requirements, XTF good for that Yocto 
> meta-virtualization as a base for high level tests for Xen Yocto can 
> run tests based on QEMU Today yocto builds are triggered by Jenkins, 
> in the future Gitlab LAVA is used to run the tests Goal to make tests 
> available externally after switch to Gitlab
> 
> Intention to send tests results to xen-devel starting November

This is more starting in december or January :-)

Cheers
Bertrand

> 
> 
> Link to recording: 
> https://xilinx.zoom.us/rec/share/kDqy7qiU3wuhmPSj3pNLJu1CewoDkgFQG-0du
> r9RIpYZRoRRtqp3SKsBeBPGz4_-.u1zRU_TMUN27ItEE
> Passcode: #n56H7nX
> 
>

Attachment: Screenshot_20191121_093507.png
Description: Screenshot_20191121_093507.png