libsel4vm: fix GIC_DIST_CTLR enable handling#109

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

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