|
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?)
Adding back others (Philipp has some issue with the mailing list – are you registered in these groups?)
|
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
·
|
|
Re: LPC 2021 presentation - Kernel cgroups and namespaces: Can they contribute to FFI claims?
Totally agreed with the problem space, and the proposed path forward.
Paul - until we sort out the final details of "development process" WG evolution, can we use tomorrow's call for kickstarting this
Totally agreed with the problem space, and the proposed path forward.
Paul - until we sort out the final details of "development process" WG evolution, can we use tomorrow's call for kickstarting this
|
By
elana.copperman@...
·
#1642
·
|
|
Re: LPC 2021 presentation - Kernel cgroups and namespaces: Can they contribute to FFI claims?
Hi Elana,
Yes, that's very much my intention!
There are really two broad sets of criteria, which can be summarised in the following two questions:
1) What role does the feature have in achieving a
Hi Elana,
Yes, that's very much my intention!
There are really two broad sets of criteria, which can be summarised in the following two questions:
1) What role does the feature have in achieving a
|
By
Paul Albertella
·
#1641
·
|
|
Re: New WG proposals: Safety Engineering Process, Linux Developers
We can start with cgroups and namespaces, focusing on the questions raised by Bruce and Priyanka in their presentation last week.
Emails would work if you would leave the original full discussion, it
We can start with cgroups and namespaces, focusing on the questions raised by Bruce and Priyanka in their presentation last week.
Emails would work if you would leave the original full discussion, it
|
By
elana.copperman@...
·
#1640
·
|
|
Re: New WG proposals: Safety Engineering Process, Linux Developers
<Elana.Copperman@...> wrote:
Okay, thanks. Now, I understand why we get stuck. Of course, if we
come to the conclusion that a fully qualified Linux kernel (whatever
that means; I have no
<Elana.Copperman@...> wrote:
Okay, thanks. Now, I understand why we get stuck. Of course, if we
come to the conclusion that a fully qualified Linux kernel (whatever
that means; I have no
|
By
Lukas Bulwahn
·
#1639
·
|