Date
Disclosures
| Expand | ||
|---|---|---|
| ||
Participants
| Expand | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Agenda
- November 20, 2024 Meeting Minutes (link) - 5 minutes
- CHERI Ratification Plan (Simon Moore, Alex Richardson, Tariq Kurd) - 45 minutes
- BoD Policy Q&A (John H., All) - 45 minutes
- Outstanding questions to policies@riscv.org (Note: this list is a catcher of questions so that we can create an FAQ later. It’s not an open public list for all discussions.)
- New policy rationale: what is the motivation for the new policy? What improvement is made by voting in a meeting versus consensus? Is voting verbally better than via email? (link)
- Leadership affiliation clarification: can individual members lead groups? (link)
- Rollout plans: when do new groups and existing groups need to cut over? (link)
- Applicability to CSC: does the policy apply to TSC only or also CSC? (link)
Answer: TSC and subsidiaries only. No policy for CSC. - Robert’s Rules or Order: Are we using all or just some parts? (link)
Answer: This subset should suffice: https://d106tm.org/wp-content/uploads/2018/09/Quick-Guide-to-Roberts-Rules.pdf - Official meeting definition: Which decisions do the policy apply to (as requiring a vote and an official meeting)? (link)
- Questions about losing voting rights, quorum based plurality, and vote abstention. (link)
- Other questions from the floor
- Follow-up on 2024 Ratified Extensions webinar/tech session (Rafael) and Google Doc for a possible blog post - 5 minutes https://lf-riscv.atlassian.net/issues/?jql=project%20%3D%20RVS%20AND%20status%20%3D%20%22Specification%20Ratified%22%20AND%20%22Board%20Ratification%20Approval%5BDate%5D%22%20%3E%3D%20%222024%2F01%2F01%22%20and%20%22Board%20Ratification%20Approval%5BDate%5D%22%20%3C%3D%20%222024%2F12%2F31%22%20ORDER%20BY%20priority%20DESC%2C%20updated%20DESC
- Tech Chair Meeting schedule for 2025 (Jeff) - 5 minutes
- Demo: Meeting Schedule/Cancel (James) - 5 minutes
Presentations
Title | Presenter | File | |
|---|---|---|---|
| 1 | CHERI Ratification Plan |
|
Votes
| Expand | ||
|---|---|---|
| ||
Quorum Status: 45 attendees.
Voting Results:
Outcome: Motion passed Additional Notes: Abstentions were due to lack of attendance at meeting |
| Expand | ||
|---|---|---|
| ||
Quorum Status: 45 attendees.
Voting Results:
Outcome: Passed - Plan Approved 🍾 Additional Notes: NONE |
Action Items
- Jeff Scheel Cancel Christmas Meeting 🎅
- Tariq Kurd Work with Allen Baum on ACTs definitions.
- Tariq Kurd Simon Moore Alex Richardson to update the plan timeline accordingly.
- Rafael Sene Schedule internal Tech Sessions on CHERI in January 2025. Target Ratification Q325.
- @john hengeveld to send the formal reply about Nick’s questions to Jeff for posting and dissemination.
- Krste Asanovic Andrea Gallo @john hengeveld to collaborate on the rollout plan and tackle outstanding issues for new policy.
Notes
Meeting Agenda:
The agenda was approved upon a motion by David Weaver and seconded by Andrew Dellow.
CHERI:
Jira Legacy server System Jira serverId 4d3dce95-b4be-35da-b49f-ec8432d8f473 key RVS-2141 There are no issues with trademarks or other related concerns, as the University of Cambridge is ensuring that it is in the public domain.
Is there any impact on the hypervisor (see https://github.com/riscv/riscv-cheri/blob/main/src/hypervisor-integration.adoc ) or the debug/trace functionality (see https://github.com/riscv/riscv-cheri/blob/main/src/debug-integration.adoc).
How is this divided up in multiple extensions? (add the link here)
All initial 4 are extensively prototyped.
Freeze all as a package:
CHERI is disabled by default.
Coordinate with Memory Tagging Group on OPCODES (
)Jira Legacy server System Jira serverId 4d3dce95-b4be-35da-b49f-ec8432d8f473 key RVG-161 By design, one HART can run with CHERI enabled while another runs without it.
Ensure Guerney Hunt have a deep discussion within the CHERI TG/SIG.
Robert Chyla asked to consider some time prior the start of the internal review to better evaluate the plan and the proposal.
What other security extensions can/cannot be used in conjunction with CHERI?
Performance: CHERI Core vs non-CHERI core.
Small performance penalty.
Python, C, C++, Java, Rust as languages/run-times supporting CHERI.
Tariq Kurd Work with Allen Baum on ACTs definitions.
Convert Codasip tests to ACTs.
Extension will use a relaxed and longer period of time for reviews.
BoD Policy Q&A
Nick’s policy question (rationale, consensus building, …):
...
Tech Chairs Meetings in 2025
See email from November 26 explaining schedule (link)
Meetings scheduled. Reach out to help@riscv.org if you have questions.
Adjournment
Motion to Adjourn Made By: Jeff Scheel
Seconded By: Andrea Gallo
Time Adjourned: 09:05 PT
...