search

seL4 / seL4_libs

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

trivial: Fix format strings #56

Closed hlyytine closed 2 years ago

hlyytine commented 2 years ago

Signed-off-by: Hannu Lyytinen hannux@ssrc.tii.ae

hlyytine commented 2 years ago

Looks like this was fixed already, closing this.

kent-mcleod commented 2 years ago

These have already been fixed as of https://github.com/seL4/seL4_libs/commit/0e0cfb670d69a4ba4156785332195d16f65070d7.