seL4 / seL4_projects_libs

Other
19 stars 36 forks source link

trivial: fix compilation error #87

Closed abrandnewusername closed 1 year ago

abrandnewusername commented 1 year ago

This PR should fix a compilation error of multiple definitions (happens here).

My version of Debian doesn't support gcc-10 so I can't test this locally. Let see how the CIs go.