FuSa SIG/Roadmap

From Xen

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