[UNIKRAFT PATCH 0/4] lib/uksched: Thread creation/deletion callbacks

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

This patch series mainly introduces the ability for libraries to
hook into thread creation and deletion process at `lib/uksched`.
Main intended usage are libc's (like newlibc, musl) that can
initialize TLS for each thread, even when a thread is created/deleted
through the uksched API. Additionally, the platform API is modified
in a way so that there is no dependency to `ukalloc` or a libc.

Simon Kuenzer (4):
  include/: Remove libc dependency in `<uk/plat/thread.h>`
  include/: No dependency to `lib/ukalloc` for thread contexts
  lib/uksched: Thread creation callbacks
  lib/ukbus: Increase initialization class to `platform`

 include/uk/plat/thread.h           | 47 +++++++++-------
 lib/9pfs/9pfs_vfsops.c             |  1 +
 lib/9pfs/9pfs_vnops.c              |  1 +
 lib/ukbus/include/uk/bus.h         |  2 +-
 lib/uknetdev/netdev.c              |  1 +
 lib/uksched/Makefile.uk            |  1 +
 lib/uksched/extra.ld               | 29 ++++++++++
 lib/uksched/include/uk/thread.h    | 39 +++++++++++++
 lib/uksched/thread.c               | 89 +++++++++++++++++++++++++++---
 lib/vfscore/file.c                 |  1 +
 lib/vfscore/pipe.c                 |  1 +
 plat/common/sw_ctx.c               | 36 ++++++------
 plat/xen/drivers/9p/9pfront.c      |  1 +
 plat/xen/drivers/blk/blkfront_xs.c |  1 +
 plat/xen/xenbus/xs_comms.c         |  1 +
 15 files changed, 203 insertions(+), 48 deletions(-)
 create mode 100644 lib/uksched/extra.ld

-- 
2.20.1