libsel4vmmplatsupport: Add support for stm32mp2 SoC family#137

bruelc wants to merge 1 commit intoseL4:masterseL4/seL4_projects_libs:masterfrom

bruelc:master-stm32mp2bruelc/seL4_projects_libs:master-stm32mp2Copy head branch name to clipboard