|
Re: Proposed new WG
Looks good to me too
Gab
By
Gabriele Paoloni
·
#1662
·
|
|
Re: [ELISA Development Process WG] Proposed new WG
Hi Elana,
I like parts of 2 & 5.
2 as it talks about features and 5 because it includes the Linux
kernel features as well as other Linux ecosystem elements that form
the platform/basis for the
Hi Elana,
I like parts of 2 & 5.
2 as it talks about features and 5 because it includes the Linux
kernel features as well as other Linux ecosystem elements that form
the platform/basis for the
|
By
Shuah Khan
·
#1661
·
|
|
Re: Proposed new WG
Agreed.
So that unless we get any other comments - for now, we will continue with Philipp's suggestion, "Linux features for safety-critical systems".
Thanks to all (Philip, you get the prize. See
Agreed.
So that unless we get any other comments - for now, we will continue with Philipp's suggestion, "Linux features for safety-critical systems".
Thanks to all (Philip, you get the prize. See
|
By
elana.copperman@...
·
#1660
·
|
|
Re: Proposed new WG
I agree and would support this suggested name 100%.
Jason
I agree and would support this suggested name 100%.
Jason
|
By
Smith, Jason
·
#1659
·
|
|
Re: Proposed new WG
I like Philipp's suggested name best: Linux features for safety-critical systems
Paul
I like Philipp's suggested name best: Linux features for safety-critical systems
Paul
|
By
Paul Albertella
·
#1658
·
|
|
Re: Proposed new WG
Adding back others (Philipp has some issue with the mailing list – are you registered in these groups?)
From: Ahmann, Philipp (ADITG/ESS1) <pahmann@...>
Sent: Wednesday, September 29, 2021 6:28
Adding back others (Philipp has some issue with the mailing list – are you registered in these groups?)
From: Ahmann, Philipp (ADITG/ESS1) <pahmann@...>
Sent: Wednesday, September 29, 2021 6:28
|
By
elana.copperman@...
·
#1657
·
|
|
Re: Proposed new WG
I go for 2.5:
Linux features for safety-critical systems
Best regards,
Philipp
---
Philipp Ahmann
Manager System Software 1 (ADITG/ESS1)
Data protection information: We use your contact
I go for 2.5:
Linux features for safety-critical systems
Best regards,
Philipp
---
Philipp Ahmann
Manager System Software 1 (ADITG/ESS1)
Data protection information: We use your contact
|
By
Philipp Ahmann
·
#1656
·
|
|
Re: Proposed new WG
I’d prefer #2. Simple and to the point.
Jason R. Smith,UL-CFSX
Principal Engineer, Robots & Control Systems (CMIT)
Distinguished Member of Technical
I’d prefer #2. Simple and to the point.
Jason R. Smith,UL-CFSX
Principal Engineer, Robots & Control Systems (CMIT)
Distinguished Member of Technical
|
By
Smith, Jason
·
#1655
·
|
|
Re: Proposed new WG
From my perspective I would go for 5. Right now I don't have other names suggestions
Regards
Gab
From my perspective I would go for 5. Right now I don't have other names suggestions
Regards
Gab
|
By
Gabriele Paoloni
·
#1654
·
|
|
Re: LPC 2021 presentation - Kernel cgroups and namespaces: Can they contribute to FFI claims?
I think this was in the domain of Paul's new WG, and the basis for collaboration with his new flavor of the Dev Process WG.
I think this was in the domain of Paul's new WG, and the basis for collaboration with his new flavor of the Dev Process WG.
|
By
elana.copperman@...
·
#1653
·
|
|
Proposed new WG
Following today's TSC call and discussion, the new WG proposed in https://docs.google.com/document/d/1557IyH66OlMJHklNg5wceKmJLQgavBUwoYyB2Jib0vU/edit# has been tentatively approved. Thanks to all
Following today's TSC call and discussion, the new WG proposed in https://docs.google.com/document/d/1557IyH66OlMJHklNg5wceKmJLQgavBUwoYyB2Jib0vU/edit# has been tentatively approved. Thanks to all
|
By
elana.copperman@...
·
#1652
·
|
|
Re: LPC 2021 presentation - Kernel cgroups and namespaces: Can they contribute to FFI claims?
+1
I didn't want to be the first one to say it, but this question applies to all Linux features or mechanisms.
Like
- SELinux
- seccomp
- BPF
- eBPF
- and, and, and...
This makes enabling Linux to
+1
I didn't want to be the first one to say it, but this question applies to all Linux features or mechanisms.
Like
- SELinux
- seccomp
- BPF
- eBPF
- and, and, and...
This makes enabling Linux to
|
By
John MacGregor
·
#1651
·
|
|
ELISA Workshop Fall 2021 CFP Submission - Certification using the 'new approach to safety'
New submission to the ELISA Workshop Fall 2021 CFP. Please find below the details.
Email addresspaul.albertella@...Primary Speaker InformationPrimary Speaker Full NamePaul AlbertellaPrimary Speaker
New submission to the ELISA Workshop Fall 2021 CFP. Please find below the details.
Email addresspaul.albertella@...Primary Speaker InformationPrimary Speaker Full NamePaul AlbertellaPrimary Speaker
|
By
Deb Giles <dgiles@...>
·
#1650
·
|
|
Re: LPC 2021 presentation - Kernel cgroups and namespaces: Can they contribute to FFI claims?
Hi,
Regarding the Priyanka and Bruce's presentation, I think the pre-requisite for using namespaces and cgroups for FFI is to "qualify" these mechanisms. This means showing that they fulfill their
Hi,
Regarding the Priyanka and Bruce's presentation, I think the pre-requisite for using namespaces and cgroups for FFI is to "qualify" these mechanisms. This means showing that they fulfill their
|
By
Gurvitz, Eli (Mobileye)
·
#1649
·
|
|
Recommendations and policies for email-based discussions
Hi Shuah, hi Min,
as Elana pointed it out to me today:
Can we add to today's agenda to have a smaller subgroup describe
recommendations and policies for email-based discussions, and work
towards
Hi Shuah, hi Min,
as Elana pointed it out to me today:
Can we add to today's agenda to have a smaller subgroup describe
recommendations and policies for email-based discussions, and work
towards
|
By
Lukas Bulwahn
·
#1648
·
|
|
Re: New WG proposals: Safety Engineering Process, Linux Developers
<Elana.Copperman@...> wrote:
Agree. That is a really good idea. We need to establish proper
recommendations and policies for well-structured email-based
discussions. I will reach out to Shuah
<Elana.Copperman@...> wrote:
Agree. That is a really good idea. We need to establish proper
recommendations and policies for well-structured email-based
discussions. I will reach out to Shuah
|
By
Lukas Bulwahn
·
#1647
·
|
|
Re: LPC 2021 presentation - Kernel cgroups and namespaces: Can they contribute to FFI claims?
Yes agreed
Sorry, I replied to Paul and missed the follows up from Elana and Jochen. However I also think it is a good topic to elaborate on.
Thanks
Gab
Yes agreed
Sorry, I replied to Paul and missed the follows up from Elana and Jochen. However I also think it is a good topic to elaborate on.
Thanks
Gab
|
By
Gabriele Paoloni
·
#1646
·
|
|
Re: LPC 2021 presentation - Kernel cgroups and namespaces: Can they contribute to FFI claims?
Thanks, Jochen. This is excellent.
We should continue this discussion, as proposed in the parallel thread.
Thanks, Jochen. This is excellent.
We should continue this discussion, as proposed in the parallel thread.
|
By
elana.copperman@...
·
#1645
·
|
|
Re: LPC 2021 presentation - Kernel cgroups and namespaces: Can they contribute to FFI claims?
Hi All
Given that the topic was presented in a micro conference the deck was intended to
trigger an open discussion rather than showing results.
I agree with everything that Paul wrote down below and
Hi All
Given that the topic was presented in a micro conference the deck was intended to
trigger an open discussion rather than showing results.
I agree with everything that Paul wrote down below and
|
By
Gabriele Paoloni
·
#1644
·
|
|
Re: LPC 2021 presentation - Kernel cgroups and namespaces: Can they contribute to FFI claims?
Hi everyone,
just a quality of life service for those interested, the recording of the talk can be found here:
https://youtu.be/iaK_wcL1ekY?t=12393
Jochen
--
Mit freundlichen Grüßen
Jochen
Hi everyone,
just a quality of life service for those interested, the recording of the talk can be found here:
https://youtu.be/iaK_wcL1ekY?t=12393
Jochen
--
Mit freundlichen Grüßen
Jochen
|
By
Jochen Kall
·
#1643
·
|