Re: [Minios-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

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/minios-devel