search

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
Other
16 stars 12 forks source link

Support emitting warnings for incorrectly using sddf printf functions. #68

Closed ralismark closed 5 months ago

ralismark commented 5 months ago

This makes sddf_printf (and others) be recognised as printf by the compiler, and raise warnings if the arguments don't match the format string.

Ivan-Velickovic commented 5 months ago

Looks like there's more format fixes to do (e.g in drivers/clock/meson/timer.c:134) which is why the CI is failing.

If you (at the root of sDDF) do ./ci/examples.sh /path/to/sdk it will run the CI script and so you can see everything that needs to be renamed.