Include stdint.h in sys/_types.h

stdatomic.h no longer builds because it's missing the definitions of
stdint.h that should come with sys/types.h .

Signed-off-by: Vlad-Andrei Badoiu <vlad_andrei.badoiu@stud.acs.upb.ro>
Reviewed-by: Felipe Huici <felipe.huici@neclab.eu>

diff --git a/include/sys/_types.h b/include/sys/_types.h
index 972a7de0308c37a84b79f063f0e659b77e1b1b12..4b995616c768acc73d3bde25957e124a497df765 100644 (file)
--- a/include/sys/_types.h
+++ b/include/sys/_types.h
@@ -37,6 +37,7 @@
 
 /* Use Unikraft type definitions */
 #include <uk/_types.h>
+#include <stdint.h>
 
 /* Provide _CLOCK_T_ */
 #define _CLOCK_T_ long /* clock() */