Index: kernel/generic/include/errno.h
===================================================================
--- kernel/generic/include/errno.h	(revision ee6f4342058a8205c52ba1e31e063a17c0cf6f18)
+++ kernel/generic/include/errno.h	(revision 0d0b3197a149bb5e5c53d21136df5b8c283cdc4a)
@@ -36,6 +36,5 @@
 #define KERN_ERRNO_H_
 
-typedef int errno_t;
-
+#include <_bits/errno.h>
 #include <abi/errno.h>
 
Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision ee6f4342058a8205c52ba1e31e063a17c0cf6f18)
+++ kernel/generic/include/typedefs.h	(revision 0d0b3197a149bb5e5c53d21136df5b8c283cdc4a)
@@ -37,4 +37,5 @@
 
 #include <arch/types.h>
+#include <_bits/errno.h>
 
 typedef struct {
