seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

No functional change, just added an UNUSED modifier #10

Closed fabriziobertocci closed 6 years ago

fabriziobertocci commented 6 years ago

Sorry to bother with those tiny pull requests... but I as I try to use -Werror, I want to eliminate all the possible warnings.

AdrianDanis commented 6 years ago

@fabriziobertocci We love crushing warnings, please keep the PRs coming.