search

seL4 / seL4_libs

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

Added UNUSED attribute to function #9

Closed fabriziobertocci closed 6 years ago

fabriziobertocci commented 6 years ago

Small change to inline function api_tcb_set_sched_params to avoid warnings