FuSa SIG/Roadmap

Short term Roadmap and ongoing activities

• Misra compliance
  • ongoing:
  • Coverity regular analysis (arm)
    • CI internal checks
  • cppcheck integration in Xen (arm)
    • cppcheck is buggy, could use clang? or a gcc sanitizer ?
  • classify the rules we want to support
  • to do:
    • create list of rules and put a file in xen.git
      • mention the status of each rule on the list
    • list the rules already covered by current coding style
    • updating the coding style
    • regular checks on gitlab
    • classify the rules in order of priority
    • fix the Misra-C issues
    • mention the Misra rule fixed when fixing findings
  • for the future
    • submitted patch checks

Roadmap

• 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
  • traceability
  • coverage
  • low level testing