@Tholin: This would depend entirely on how

printf()

is implemented; I am not aware of an implementation of it. We don't provide on in example code that I know of. We do provide routines in

stub.c

of

print_dec()

and

print_hex()

, so you could add this and use

print_hex(variable, 8); print("\r\n");

.