Hi all, I would like to let you know that I plan to create a FuSa.git repository under:
https://gitlab.com/xen-project to host the work-in-progress Xen safety certification documents. The goal is to have those documents under xen.git, as they need to be linked to corresponding source code, but we opted for having a separate repository in the short term to allow easier access and contributions from safety experts that are not familiar with the git-send-email workflow. Cheers, Stefano
