Error in kraft build #26
Description
I installed kraft v0.8.1 and execute "kraft build" for qemu/x86_64, which reported:
W /host/app-python3/.unikraft/unikraft/lib/uksched/sched.c:38:10: fatal error: sys/membarrier.h: No such file or directory
W 38 | #include <sys/membarrier.h>
W | ^~~~~~~~~~~~~~~~~~
W compilation terminated.
W make[1]: *** [/host/app-python3/.unikraft/unikraft/support/build/Makefile.build:27: /host/app-python3/.unikraft/build/libuksched/sched.o] Error 1
I have no idea why this happened. Would you please give me some advice? Thank you a lot.