uint64_t i64 = 0;
uint32_t i32 = 0;
printf ("Val32 %" PRIu32, i32);
printf ("Val64 %" PRIu64, i64);
if building with CONFIG_NEWLIB_LIBC=y and SDK 0.10.0 this fails.
Reported as an issue on SDK-NG:
zephyrproject-rtos/sdk-ng#55
But after some investigation this is related to how we invoke gcc in Zephyr, and not the SDK itself.