ssrg-bamboo

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests

All the tests we ran have passed! Nice job!

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests

## Test results for commit 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8 ### Summary #### NOTE: some test results have been updated! | Test name | Result | | --- | --- | | Code Quality...

## Test results for commit 082b07aa83e9d4f3ad9782c8b1ceee58f805abb8 ### Summary #### NOTE: some test results have been updated! | Test name | Result | | --- | --- | | Code Quality...

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests

All the tests we ran have passed! Nice job!

Hello, I'm a bot! I've set up a proof testboard for this PR [here](https://github.com/seL4/gh-testboard/blob/Hensoldt-Cyber-patch-axel-2-365-053157/manifest.xml), and results should show up as `pending` in status checks in a few minutes.