[UNIKRAFT/MUSL PATCH 0/7] Continue MUSL integration

[gaulthier.gain@xxxxxxxxx]

From: gaulthier gain <gaulthier.gain@xxxxxxxxx>

In this pacth series, we continue our work on MUSL by adding new
fixes and features. MUSL is now subdivided into several components
which can be selected during the library configuration (based on
Alex's work). In addition, we fixed the flush bug with stdout.

Gaulthier Gain (7):
  Makefile.*, Config.uk: Sub-componentize MUSL
  scripts: Add header helper script
  patches: Update ioctl prototype definition
  Synchronize musl with POSIX internal libs with musl
  Fix stdout flushing in musl
  Prevent syscall shim layer libc wrapper generation
  README.md: Update with latest changes

 Config.uk                                     | 219 ++++-
 Makefile.rules                                |  31 +
 Makefile.uk                                   | 126 ++-
 Makefile.uk.musl.aio                          |  22 +-
 Makefile.uk.musl.complex                      | 142 +--
 Makefile.uk.musl.conf                         |  24 +-
 Makefile.uk.musl.crypt                        |  27 +-
 Makefile.uk.musl.ctype                        |  90 +-
 Makefile.uk.musl.dirent                       |  42 +-
 Makefile.uk.musl.env                          |  38 +-
 Makefile.uk.musl.errno                        |  13 +-
 Makefile.uk.musl.exit                         |  28 +-
 Makefile.uk.musl.fcntl                        |  20 +-
 Makefile.uk.musl.fenv                         |  55 +-
 Makefile.uk.musl.internal                     |  66 +-
 Makefile.uk.musl.ipc                          |  41 +-
 Makefile.uk.musl.ldso                         |  70 +-
 Makefile.uk.musl.legacy                       |  58 +-
 Makefile.uk.musl.linux                        | 156 +--
 Makefile.uk.musl.locale                       |  82 +-
 Makefile.uk.musl.malloc                       |  32 +-
 Makefile.uk.musl.math                         | 926 +++++++++---------
 Makefile.uk.musl.misc                         | 121 ++-
 Makefile.uk.musl.mman                         |  49 +-
 Makefile.uk.musl.mq                           |  32 +-
 Makefile.uk.musl.multibyte                    |  51 +-
 Makefile.uk.musl.network                      | 197 ++--
 Makefile.uk.musl.passwd                       |  65 +-
 Makefile.uk.musl.prng                         |  30 +-
 Makefile.uk.musl.process                      |  90 +-
 Makefile.uk.musl.regex                        |  34 +-
 Makefile.uk.musl.sched                        |  29 +-
 Makefile.uk.musl.search                       |  17 +-
 Makefile.uk.musl.select                       |  17 +-
 Makefile.uk.musl.setjmp                       |  62 +-
 Makefile.uk.musl.signal                       | 155 +--
 Makefile.uk.musl.stat                         |  51 +-
 Makefile.uk.musl.stdio                        | 266 ++---
 Makefile.uk.musl.stdlib                       |  60 +-
 Makefile.uk.musl.string                       | 189 ++--
 Makefile.uk.musl.temp                         |  26 +-
 Makefile.uk.musl.termios                      |  28 +-
 Makefile.uk.musl.thread                       | 413 ++++----
 Makefile.uk.musl.time                         | 117 ++-
 Makefile.uk.musl.unistd                       | 196 ++--
 README.md                                     |  26 +-
 patches/0008-Fix-sys_ioctl_h-conflicts.patch  |  27 -
 .../0008-Use-compatible-ioctl-prototype.patch |  30 +
 .../0009-Fix-stdout-flushing-in-musl.patch    |  46 +
 ...09-update__stdout_write_for_flushing.patch |  25 -
 scripts/list-headers.sh                       |  68 ++
 51 files changed, 3017 insertions(+), 1808 deletions(-)
 create mode 100644 Makefile.rules
 delete mode 100644 patches/0008-Fix-sys_ioctl_h-conflicts.patch
 create mode 100644 patches/0008-Use-compatible-ioctl-prototype.patch
 create mode 100644 patches/0009-Fix-stdout-flushing-in-musl.patch
 delete mode 100644 patches/0009-update__stdout_write_for_flushing.patch
 create mode 100644 scripts/list-headers.sh

-- 
2.17.1