1. 02 Aug, 2014 1 commit
    • Alessandro Rubini's avatar
      pp_printf: use new upstream master e17d874 · 3a078045
      Alessandro Rubini authored
      This picks the following commits (most recent on top):
      
         e17d874 README: update for the new code base
         d391e62 added 64-bit example/test
         670b5e8 Makefile: support 64-bit option; add div64.c
         c2384cd vsprintf-full: offer 64-bit printing as an option
         220b19e vsprintf-full: simplify a little
         526daa6 vsprintf-full: remove unsed code for %p printing
         1a28825 vsprintf-full: prevent a warning when a pointer is 16 bits
      
      We are using 64-bit prints currently, but wrpc-sw does.
      Signed-off-by: Alessandro Rubini's avatarAlessandro Rubini <rubini@gnudd.com>
      3a078045
  2. 28 Mar, 2012 1 commit
    • Alessandro Rubini's avatar
      Rename PPTP to PPSi · 600a052f
      Alessandro Rubini authored
      This is a major patch, because header files are renamed, and
      the header directory with them. Still, no functional change is there.
      600a052f
  3. 09 Jan, 2012 1 commit
    • Alessandro Rubini's avatar
      lib/div64.c: new file · 205d324e
      Alessandro Rubini authored
      This is the 64-bit unsigned division and remainder from the Linux
      kernel, for 32-bit host systems.
      
      The new lib/ directory can be used by archs to pick files, and that's
      already exemplified by arch-gnu-linux and arch-bare-linux.
      Signed-off-by: Alessandro Rubini's avatarAlessandro Rubini <rubini@gnudd.com>
      205d324e