[Barrelfish-users] New version of glibc?
rrad at kth.se
Wed Oct 24 18:22:03 CEST 2012
yes I already managed importing the right setjmp routine.
It also makes sense to me now that uint32_t can be a unsigned long,
cause newlib/.../stdint.h is searching dynamically for the types. I was
using the PRIX32, but just needed to set the arch/inttypes.h accordingly
So, the printing bug is not gone. Your compiling options where already
present, because I used the existing Hakefiles.
Ok, I think I have to work around that 64-bit-printf for the moment.
Thanks so far,
On 23.10.2012 16:06, Kornilios Kourtis wrote:
> The portable way to print uint32_t is to use PRIu32, so the fact that you
> need to specify the "l" modifier is not necessarily a bug. For printing
> 64-bit values, I remember having some similar problems, which were solved
> by adding the following defines:
More information about the Barrelfish-users