Uploaded image for project: 'RISC-V Specification Lifecycle'
  1. RISC-V Specification Lifecycle
  2. RVS-921

S-mode Physical Memory Protection (PMP)

    • SPMP
    • No
    • ISA
    • Sspmp
    • Review Requested
    • Approved
    • 0

      The SPMP TG develops the SPMP (S-mode Physical Memory Protection) extension for memory isolation on the low-end systems as an alternative to the paged virtual memory system. The SPMP TG will deliver an SPMP architectural specification, which includes access control of read/write/execute requests by an hart, exceptions for access violation, virtualization support, etc. Besides the specification, the SPMP Task Group will work with the Security HC and other committees/SIGs/TGs, and development partners to provide simulators (Spike and Qemu), Sail formal model, test cases, and reference code for commercial OSes (e.g., Linux and RTOS) and open-sourced hypervisors (e.g., KVM and Xvisor) for SPMP.

      Plan: https://docs.google.com/document/d/1lcF4uObpeYDWNuY2xSuGEQkBDguEFTaJsZKoQ2J0WTg/edit#heading=h.hym1mtuc89he

       

      Status: https://docs.google.com/spreadsheets/d/1dtRbxO8DKsTVxxGeT8FydnjMmK3b3VMIUwEYeZ4CZiQ/edit#gid=1751770475

       

        1.
        [Inception] - Infrastructure Setup Request Specification Acceptance Criteria Done Unassigned 03/Jul/23 0
        2.
        [Plan] - Develop Specification Plan Planning Acceptance Criteria Done Unassigned 10/Jul/23 0
        3.
        [Plan] - Governing Committee Approval Approval Approved Rafael Sene 03/Jul/23 0
        4.
        [Plan] - Schedule Plan Presentation to Chairs Specification Acceptance Criteria Done Unassigned 03/Jul/23 0
        5.
        [Plan] - Present Plan to Chairs Specification Acceptance Criteria Done Unassigned 03/Jul/23 0
        6.
        [Plan] - Chairs Approval Approval Approved Rafael Sene 03/Jul/23 2
        7.
        [Plan] - Notify TSC Specification Acceptance Criteria Done Unassigned 03/Jul/23 0
        8.
        [Development] - Develop Specification Specification Acceptance Criteria Done Unassigned 03/Jul/23 0
        9.
        [Development] - Governing Committee Specification Stabilization Approval Approval Approved Jeff Scheel 03/Jul/23 0
        10.
        [Freeze] - Complete Documentation of New Instructions, State Changes, and ISA Alterations Freeze Acceptance Criteria In Progress Unassigned 31/Dec/23 1
        11.
        [Freeze] - Develop Opcode Support Freeze Acceptance Criteria Done Unassigned 31/Dec/23 1
        12.
        [Freeze] - Implement Simulator Support Freeze Acceptance Criteria Not Started Unassigned 31/Dec/23 0
        13.
        [Freeze] - Implement psABI Freeze Acceptance Criteria Not Required to Freeze Unassigned 31/Dec/23 1
        14.
        [Freeze] - Develop Support for GCC Freeze Acceptance Criteria Not Required to Freeze Unassigned 31/Dec/23 1
        15.
        [Freeze] - Develop RISC-V Tests Freeze Acceptance Criteria In Progress Unassigned 31/Dec/23 1
        16.
        [Freeze] - Perform Input Testing Freeze Acceptance Criteria Not Started Unassigned 31/Dec/23 0
        17.
        [Freeze] - Add Support into the Sail Golden Model Freeze Acceptance Criteria In Progress Unassigned 31/Dec/23 0
        18.
        [Freeze] - Create Proof of Concept Freeze Acceptance Criteria In Progress Unassigned 31/Dec/23 1
        19.
        [Freeze] - ARC Review (required) ARC Review Under AR Review Rafael Sene 31/Dec/23 3
        20.
        [Freeze] - Ensure Compliance with RISC-V Specification Policies Approval Not Started Unassigned 31/Dec/23 0
        21.
        [Freeze] - Request Signoffs from Committee Chair Approval Not Started Unassigned 31/Dec/23 0
        22.
        [Freeze] - Request Signoff from RISC-V CTO Approval Not Started Unassigned 31/Dec/23 0

            Unassigned Unassigned
            rsene Rafael Sene
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: