Uploaded image for project: 'Stratos'
  1. Stratos
  2. STR-12

Hypercall Standarardization

    XMLWordPrintable

    Details

    • Type: Initiative
    • Status: Open
    • Priority: Undecided
    • Resolution: Unresolved
    • Affects Version/s: None
    • Fix Version/s: None
    • Component/s: None
    • Labels:
      None

      Description

      Rationale

      Safety certifications are becoming more and more important for embedded hypervisors. The Xen community has started a FuSa Special Interest Group to improve the safety certifiability of Xen.

      Safety certifications require extremely detailed documents, especially for external interfaces (hypercalls, etc.) It is recommended that all tests are written by a different team, solely based on the documents, without even looking at the implementation.

      These documents, originally meant for Xen safety certifiability, have to be so detailed that could actually be used by other hypervisors too. They could become a community standard for embedded hypervisor interfaces, just as documentation, for compatibility between hypervisors, and for safety certifications.

      Goals:

      • Participate in the Xen FuSa SIG to accelerate progress toward safety certifiability of Xen and other hypervisors implementing these interfaces.
      • Make it easier to prototype with one hypervisor and switch to a different hypervisor (still compliant to the same external interfaces) later in the deployment phases.

      Scope

      • Documentation of external embedded hypervisor interfaces
      • Xen as reference

      High Level Deliverables

      • Documentation of external embedded hypervisor interfaces
        • including boot time interfaces, i.e. system device tree, command line, etc.
        • including run time interfaces, i.e. hypercalls and shared memory interfaces
      • Xen FuSa SIG effort as initial reference
        • based on the Xen interfaces as references, but implementable by any hypervisor
      • the docs need to be humanly readable so that they can be used as community standard
      • the docs need to be worded so that they can be used for safety certifications

      Staffing

      TBD

      Target Platforms

      The following boards were discussed but not decided on:

      • MacchiatoBin board
      • Qualcomm RB5 Platform
      • NXP LX2K board
      • Pine64Pro

      Risks and Assumptions (keep it updated as you learn more)

      Closeout Criteria

      This initiative will end when XXXX is complete.

        Attachments

          Structure

            People

            Assignee:
            Unassigned Unassigned
            Reporter:
            mike.holmes@linaro.org Mike Holmes
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Dates

              Created:
              Updated: