search

seL4 / seL4_libs

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

use const qualifier for libcpio and libelf wherever possible #29

Closed axel-h closed 3 years ago

axel-h commented 3 years ago

changes related to https://github.com/seL4/util_libs/pull/73

axel-h commented 3 years ago

To be merged now to align with https://github.com/seL4/util_libs/pull/73 and https://github.com/seL4/capdl/pull/21