Christian Bruel

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

15天前749次提交

.githubgithub: use central CI workflows1年前
LICENSESAdd seL4 foundation docs setup5年前
libsel4bgaBump minimum CMake version1年前
libsel4dmalibsel4vmmplatsupport: Add stm32mp2 SoC support4个月前
libsel4keyboardBump minimum CMake version1年前
libsel4nanopbBump minimum CMake version1年前
libsel4rpcBump minimum CMake version1年前
libsel4vchanremove obsolete LICENSE_* files1年前
libsel4vmlibsel4vmmplatsupport: Add stm32mp2 SoC support4个月前
libsel4vmmplatsupportlibsel4vmmplatsupport: Add stm32mp2 SoC support4个月前
.gitignoreConvert to SPDX license tags5年前
CMakeLists.txtBump minimum CMake version1年前
Findsel4_projects_libs.cmakeConvert to SPDX license tags5年前
LICENSE.mdAdd seL4 foundation docs setup5年前
README.mdAdd seL4 foundation docs setup5年前

README.md

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.

关于

c cmake

README.md

2.4 MB

邀请码