Minutes 01 Feb 2024

Host: Paul Albertella

Participants: Igor Stoppa, Florian Wuehr, Pete Brink, Sebastian Hetze, Luigi Pellecchia, Daniel Weingaertner

Discussion

In the absence of this WG, should OSEP provide a forum for more technical discussions about Linux? Opportunity to discuss those features in the context of we argue for their applicability and/or suitability in a safety context. Should we extend an invitation to other participants in LFSCS when we are discussing a specific feature in the context of the interference scenarios?

Use these to structure (give focus to) our discussions
Sebastian: Not read in depth but worth discussing further
Pete: what is the context for the documents?
Igor: Trying to keep them generic: focus on ARM64, but not NVIDIA-specific
Overview of how ARM64 works - hardware features
Q: Pete: Is a ‘safety island’ a necessary feature for a system?
- Igor: Have not specifically identified solutions for all of the issues / interference types
- Have talked about the MMU and its role in this
- When we do allocate a safety requirement to a piece of hardware, then it also needs to be qualified for safety
Igor: Deliberately setting the bar high - being honest with yourself - when setting the criteria that need to be considered. Make it clear to those who lack the technical perspective and in-depth knowledge to understand it, what the challenges are with using Linux.