[UNIKRAFT PATCH 0/5] New banner logo and colored output

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

This series adds new text-mode Unikraft banners that are close to
the official project logo. Additionally, the series adds options
to enable colored output for ukdebug and the banners on
ANSI-compatible terminals.

Simon Kuenzer (5):
  include: Provide ANSI control sequence helper
  lib/ukdebug: Option to hide source code locations from messages
  lib/ukdebug: Option for colored output format
  lib/ukboot: Additional Unikraft banners
  lib/ukboot: ANSI-colored Unikraft banners

 include/uk/plat/console.h |  65 ++++++++++++++++-
 lib/ukboot/Config.uk      |  66 +++++++++++++++++-
 lib/ukboot/Makefile.uk    |   3 +
 lib/ukboot/banner.c       | 142 ++++++++++++++++++++++++++++++++++++++
 lib/ukboot/banner.h       |  50 ++++++++++++++
 lib/ukboot/boot.c         |  11 +--
 lib/ukdebug/Config.uk     |  12 ++++
 lib/ukdebug/print.c       |  95 +++++++++++++++++++++----
 8 files changed, 416 insertions(+), 28 deletions(-)
 create mode 100644 lib/ukboot/banner.c
 create mode 100644 lib/ukboot/banner.h

-- 
2.20.1