libsched: Add sys/membarrier.h to provided headers

Add sys/membarrier.h to the headers provided by libsched.
This header is used by uksched, which libsched pulls in.

Signed-off-by: Andrei Tatar <andrei@unikraft.io>
Approved-by: Simon Kuenzer <simon@unikraft.io>
Reviewed-by: Simon Kuenzer <simon@unikraft.io>
GitHub-Closes: #75

diff --git a/Makefile.uk.musl.sched b/Makefile.uk.musl.sched
index 4fe268d95418e4732fe9a37c04de5feca861f1d6..caf97efdb26410b9d14b512e0c31f24dacc4e103 100644 (file)
--- a/Makefile.uk.musl.sched
+++ b/Makefile.uk.musl.sched
@@ -1,5 +1,6 @@
 LIBMUSL_SCHED_HDRS-y += $(LIBMUSL)/src/internal/atomic.h
 LIBMUSL_SCHED_HDRS-y += $(LIBMUSL)/include/errno.h
+LIBMUSL_SCHED_HDRS-y += $(LIBMUSL)/include/sys/membarrier.h
 LIBMUSL_SCHED_HDRS-y += $(LIBMUSL)/src/internal/pthread_impl.h
 LIBMUSL_SCHED_HDRS-y += $(LIBMUSL)/include/sched.h
 LIBMUSL_SCHED_HDRS-y += $(LIBMUSL)/include/string.h