libsel4vmmplatsupport: Add stm32mp2 SoC support Add STMP32MP2 and gicv2 definitions Supports vpci.h based on zynqmp sources Signed-off-by: Christian Bruel christian.bruel@foss.st.com
libsel4vmmplatsupport: Add stm32mp2 SoC support
Add STMP32MP2 and gicv2 definitions
Supports vpci.h based on zynqmp sources
Signed-off-by: Christian Bruel christian.bruel@foss.st.com
A collection of libraries for seL4. These libraries are compatible with seL4_libs.
Contributions welcome!
See the CONTRIBUTING file for more.
seL4_projects_libs
seL4 Projects Libraries
A collection of libraries for seL4. These libraries are compatible with seL4_libs.
Contributing
Contributions welcome!
See the CONTRIBUTING file for more.