Fix RPi3 build failure - Githubissues

seL4 / util_libs

Other

55 stars 83 forks source link

Fix RPi3 build failure #140

Closed JoonasOnatsu closed 1 year ago

JoonasOnatsu commented 1 year ago

This PR fixes failing builds for RPi3 caused by https://github.com/seL4/util_libs/pull/134 This should also fix the https://github.com/seL4/seL4/pull/894 test build.

Test with: seL4/seL4#894