search

seL4 / seL4_libs

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

Fixed clang warnings #4

Closed mokshasoft closed 7 years ago

mokshasoft commented 7 years ago

make compile-all passes except for kzm_simulation_debug_xml_defconfig which also fails on my machine without this patch. All tests pass when running 'make simulate-x86_64' and when running the tests on a BeagleBone Black using config bbone_black_debug_xml_defconfig