Fix RPi4 failing sel4test in Release mode#150

Merged

Indanz merged 3 commits intoseL4:masterfrom

JDuchniewicz:rpi4_fix

Dec 5, 2025

Commits on Dec 4, 2025

Commits on Dec 5, 2025

Fix missing rename changes
JDuchniewicz
committed