Re: [Xen-devel] [PATCH] mini-os: replace lib/printf.c with a version not under GPL

[Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>]

Hello,

Juergen Gross, on Mon 04 Jul 2016 07:29:46 +0200, wrote:
> > Did you check the boot output e.g. of a trivial mini-os application?
> > Notably, iirc there were perhaps odd formating with %x, %p or such.
> > Moving to the posix behavior would be a good thing, I'd just want to
> > know whether we have some behavior change.
> 
> Just double checked: some of the prints are now without leading zeroes:

Ok, so %p moves from %08x to 0x%x. That's fine by me, anybody against
the change?

Samuel

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel