[UNIKRAFT/LIBPTHREAD-EMBEDDED PATCH 0/3] `uksched` thread creation callbacks

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

Utilizes `uksched` callback mechanism to create and delete pthread-embedded
meta data for threads. This enables using pthread-embedded API calls on
threads that were created with the native `uksched` API.

Simon Kuenzer (3):
  Register meta data on `uksched` thread creation callbacks
  Initialize pthread-embedded as early as possible
  No warning when assigning thread starters

 Makefile.uk |   3 ++
 pte_osal.c  | 149 +++++++++++++++++++++++++++++++++++++++++++++-------
 2 files changed, 132 insertions(+), 20 deletions(-)

-- 
2.20.1