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

[Wei Liu <wei.liu2@xxxxxxxxxx>]

On Mon, Jul 04, 2016 at 09:26:20PM +0200, Samuel Thibault wrote:
> 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?
> 

No objection from me. :-)

If you ack this patch I will just queue it.

Wei.

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

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