[svsm-devel] SVSM Development Call October 23rd, 2024

[Jörg Rödel]

Hi,

Here is the usual call for agenda items for this weeks SVSM development
call. Please send me any agenda items you have in mind or raise them in
the meeting.

This week Ziqiao Zhou and Weidong Cui from Microsoft research will give
an introduction to the Verismo formal code verification project and we
will have a discussion how this can benefit COCONUT-SVSM:

	- Verismo Formal Verification presentation and discussion

Details of the meeting (GMeet and Calendar links, meeting time) can be
found in our governance repository at:

	https://github.com/coconut-svsm/governance

The meeting will be recorded and the recording eventually published.

See you all there.

Regards,

	Jörg