This repo contains 3 test for PRs #564[unikraft/unikraft#564], #565[unikraft/unikraft#565], #566[unikraft/unikraft#566].
Tests test_pr_564.c
and test_pr_565.c
don't require Musl to build.
Test test_pr_565.c
requires enabling support for userland TLS from menuconfig (syscall shim -> binary system call -> support for userland TLS).
Test test_pr_566.c
requires musl, this branch to be specific: [https://github.com/dragosargint/lib-musl/tree/thread_support].
To run with the same setup as I did:
Use CONFIG_TO__BE_COPIED for .config (but modify the paths) and run runquemu.sh