libsel4vmmplatsupport: allow binary modules#110

axel-h wants to merge 1 commit intoseL4:masterseL4/seL4_projects_libs:masterfrom

Hensoldt-Cyber:patch-axel-37Hensoldt-Cyber/seL4_projects_libs:patch-axel-37Copy head branch name to clipboard