[PATCH 1/3] score: Add _IO_Printf() and _IO_Vprintf()

The previous vprintk() implementation had a questionable licence header, lacks support for the 'z' and 'j' format specifiers, is not robust against invalid format specifiers, uses a global variable for output. Replace it with a stripped down version of the FreeBSD kernel kvprintf() function. The n

[PATCH 2/3] Add simple console driver

Update #3170. Update #3199. --- cpukit/include/rtems/console.h | 9 cpukit/libcsupport/Makefile.am | 1 + cpukit/libcsupport/src/consolesimple.c | 97 ++ cpukit/sapi/include/confdefs.h | 17 ++ 4 files changed, 124 insertions(+) c