-
Notifications
You must be signed in to change notification settings - Fork 8
Minutes 30 May 2024
Host: Paul Albertella
Participants: Igor Stoppa, Daniel Weingaertner, Mikel Azkarate, Luigi Pellecchia, Pete Brink
- Review slides for workshop
- Review PR and new document
- Continue investigation of spatial interference
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)
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
- 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