Hi all,
it’s been 4 weeks since we met. Please put forward any agenda items
Best Regards
Lars
P.S.: Note that I am on PTO next week. I will chair the call, but I will wing the preparation somewhat
C.1) Actions ongoing or recently closed
High: Lars to kick off a thread on xen-devel@ and come to a conclusion (done, but no conclusion as yet)
See https://markmail.org/message/za465lrrb7waman4
After getting legal advice, the advice is to keep the license of any docs identical to that of the source files
There is NO issue with using a source code license for docs
In practical terms this means we should choose BSD-2-Clause for ABI docs
Personally, I think the best way forward is to maybe do this for ALL safety docs
Medium-High:
Antonio to provide a sanitized example of safety docs (including requirements) for system software that we can use as an example
Has been started within Arm
Reviewed some of the example in the last meeting
C.2) Actions not yet resolved
High: Francesco to publish sanitized version of ISO2626 sheets
High: Artem will send part 2 of ISO2626 customization example to the group
High: Artem, Francesco, Lars and Artem to discuss what skills we need in a sub-group to drive progress on ISO2626 customization and see
how we can make this happen
My proposal would be:
-
Process stake-holders: Francesco, Antonio, Lars, Artem and maybe Stefano
for anything related to process. George is a little overloaded ATM
-
Technical stake-holders: Francesco, Lars, Artem and either Julien (if he has time) & Stefano as technology consultants.
If neither can do this, we will have to find someone else, which may be challenging -
ACTION:
Francesco to check who from Arm could pick this up
High: Francesco’s team to double check MISRA results and later share with group
Low-Medium:
Julien to talk to Lava owner on state and usability
Julien: I spoke with one of the Lava owner last Friday. It looks like they have done some works to use QEMU and KVM in Lava 2 a couple of years ago. We could possibly re-use what has been done for Xen. I haven't had yet the
chance to speak with Wookey who did the work.
Note: Julien is on PTO and is also now working for AWS, but remains primary Arm maintainer. Need to verify whether he still intends to be part of this group