Minutes 30 May 2024 - elisa-tech/wg-osep GitHub Wiki

Host: Paul Albertella

Participants: Igor Stoppa, Daniel Weingaertner, Mikel Azkarate, Luigi Pellecchia, Pete Brink

Agenda:

  • Review slides for workshop
  • Review PR and new document
  • Continue investigation of spatial interference

Discussion:

1) Workshop slides

https://docs.google.com/presentation/d/1YhAwa0V-2jfTAuGuW4yYELlPWaQ2W8HDEc0BikxLsNQ

Need to add slide talking about (or including) First Principles

ELISA is missing a summary of topics that have already been discussed (e.g. QM).

  • Can we compile this from past notes?
  • “What QM means and why it doesn’t apply to vanilla Linux”

Trying provoke some kind of debate (even if it doesn’t happen in the session itself)

2) Review PR and new document

Igor’s document: https://github.com/igor-stoppa/wg-osep/blob/igor-stoppa-first-principles/Contributions/Linux_Kernel_Safety_First_Principles.md

Igor: Too many times when we repeat ourselves, because we can’t point people at material representing our opposition

  • e.g. The vanilla kernel doesn’t support safety claims out of the box

Statements that we can defend with evidence or reasoned arguments

Proposed approach: use is as a ‘gateway document’ for new ELISA participants

  • Summarises ELISA’s established (consensus) position on a topic, and links to more detailed documentation justifying or explaining that position where applicable.

  • i.e. These are a set of ‘tenets’ that help new ELISA participants to engage with the community

  • ACTION: Igor extend PR #36 to include the First Principles document

3) Spatial interference Investigation

  • Paul: Should we move Wiki content into a PR?
  • Igor: Topics are covered this in the current Memory Management document
  • Paul: Framing of the investigation needs to be documented as well
  • Pete: Would it be useful to have this available to workshop attendees?

No meeting next week