FuSa SIG/Roadmap: Difference between revisions
From Xen
Jump to navigationJump to search
(Created page with "= Short term Roadmap and ongoing activities = * Misra compliance ** ongoing: ** Coverity regular analysis (arm) *** CI internal checks ** cppcheck i...") |
No edit summary |
||
Line 1: | Line 1: | ||
= Short term Roadmap and ongoing activities = |
= Short term Roadmap and ongoing activities = |
||
* Misra compliance |
* Misra compliance |
||
** |
** Done: |
||
** Coverity regular analysis (arm) |
*** 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 |
|||
*** list the rules already covered by current coding style |
|||
** Done: |
|||
*** updating the coding style |
|||
*** Created and defined a hierarchy of requirements (Market, Product and Design) |
|||
*** regular checks on gitlab |
|||
*** Generic Timer |
|||
⚫ | |||
*** |
*** Emulated UART |
||
*** Traceability using OpenFastTrace |
|||
*** mention the Misra rule fixed when fixing findings |
|||
** |
** Ongoing: |
||
*** |
*** Dom0less domain creation |
||
*** Device passthrough |
|||
*** P2M |
|||
** To do: |
|||
*** GICv3, SMMUv3, vGICv3, hyper calls, IOMMU, LAPIC, hypercalls |
|||
⚫ | |||
* Architecture specifications |
|||
** Done: |
|||
*** Pushed the architecture specs in a branch |
|||
** To do: |
|||
⚫ | |||
* Features |
|||
** Ongoing: |
|||
*** Hyperlaunch |
|||
*** PCI passthrough |
|||
*** virtIO and vPCI |
|||
*** Domain reset |
|||
** To do: |
|||
*** vCPU pinning |
|||
= Roadmap = |
= Roadmap = |
||
Line 41: | Line 58: | ||
** process for change requests of reqs |
** process for change requests of reqs |
||
* Tests |
* Tests |
||
** traceability |
|||
** coverage |
** coverage |
||
** low level testing |
** low level testing |
Revision as of 11:21, 3 December 2024
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
- Done:
- 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
- Done:
- Architecture specifications
- Done:
- Pushed the architecture specs in a branch
- To do:
- Upstream the documents in xen.git
- Done:
- Features
- Ongoing:
- Hyperlaunch
- PCI passthrough
- virtIO and vPCI
- Domain reset
- To do:
- vCPU pinning
- Ongoing:
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
- Misra-C compliance
- Documentation and requirements
- process for change requests of reqs
- Tests
- coverage
- low level testing