2024-12-11 Official Meeting Notes

Date

11 Dec 2024

Disclosures

Participants

Agenda

• November 20, 2024 Meeting Minutes (link) - 5 minutes
• CHERI Ratification Plan (Simon Moore, Alex Richardson, Tariq Kurd) - 45 minutes
• Presentation: CHERI Ratification Plan
• BoD Policy Q&A (John H., All) - 45 minutes
• Outstanding questions to policies@riscv.org (limited access)
• 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

• Tech Chair Meeting schedule for 2025 (Jeff) - 5 minutes
• Demo: Meeting Schedule/Cancel (James) - 5 minutes

Presentations

Votes

Action Items

• Jeff Scheel Cancel Christmas Meeting 🎅

Notes

• Meeting Agenda:

  • The agenda was approved upon a motion by David Weaver and seconded by Andrew Dellow.

• CHERI:

  • RVS-2141 - Getting issue details... STATUS

  • 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 ( RVG-161 - Getting issue details... STATUS )

  • 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 ATCs.

  • Extension will use a relaxed and longer period of time for reviews.

  • Rafael Sene Schedule internal Tech Sessions on CHERI in January 2025. Target Ratification Q325.

  • 

  • Nick’s policy question (rationale, consensus building, …):

Adjournment

• Motion to Adjourn Made By: Jeff Scheel

• Seconded By: Andrea Gallo

• Time Adjourned: 09:05 PT