Skip to contentSkip to conversation

SVSM Development Call October 30th, 2024 (!!! Check meeting time !!!)

DISCUSSION Jörg Rödel 1 participant 2 messages Oct 29, 2024 – Nov 5, 2024

lore
Share & tools
lore

Jörg Rödel

author
#0 lore raw

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.

!!! Note that the meeting is scheduled at European time and the EU already !!! switched to Winter time. This means that the meeting time will be ONE !!! HOUR LATER in US time zones. Other non-european time zones, please !!! make sure to check the calendar as well.

This week we will continue the discussion from last week about the formal verification efforts.

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