FuSa SIG/Roadmap

Short term Roadmap and ongoing activities

• Misra compliance
  • Done:
    • Coverity regular analysis (arm)
    • CI internal checks
    • Eclair scanning (Bugseng)
    • MISRA rules in xen.git (partial) with their status
    • MISRA fixes violations
    • Coding style
  • Ongoing:
    • MISRA fixes (or reasoning) for few rules
• Requirements and Assumption of use
  • Done:
    • Created and defined a hierarchy of requirements (Market, Product and Design)
    • Generic Timer
    • Emulated UART
    • Traceability using OpenFastTrace
  • Ongoing:
    • Dom0less domain creation
    • Device passthrough
    • P2M
  • To do:
    • GICv3, SMMUv3, vGICv3, hyper calls, IOMMU, LAPIC, hypercalls
    • a way to trigger updating the rules in case of code changes
• Architecture specifications
  • Done:
    • Pushed the architecture specs in a branch
  • To do:
    • Upstream the documents in xen.git
• Features
  • Ongoing:
    • Hyperlaunch
    • PCI passthrough
    • virtIO and vPCI
    • Domain reset
  • To do:
    • vCPU pinning

Roadmap

• Fault injection investigation
• Coverage (gcov and Qemu)
• MCDC Coverage
• HW/SW interface investigation
• Boundary value analysis investigation
• Zephyr as Dom0
  • tools license issue
  • what functionalities do we actually need ?
• Configuration
  • per-domain Xen heap static allocation
  • configurability (strip down code)
• Real-time
  • communication LinuxRT - Zephyr
  • code improvements
    • remove RCU
• Code quality
  • Misra-C compliance
    • automatic checks on builds
    • check on patches submitted
    • include the rules in the coding style
  • use of a certified compiler
• Documentation and requirements
  • process for change requests of reqs
• Tests
  • low level testing