Index: kernel/generic/include/errno.h
===================================================================
--- kernel/generic/include/errno.h	(revision 09d01f28221887ceaceba6c7bcc2102381ec548f)
+++ kernel/generic/include/errno.h	(revision 3529fbf0dcb9c1b1a37194a16e000ee253b245a3)
@@ -36,4 +36,6 @@
 #define KERN_ERRNO_H_
 
+typedef int errno_t;
+
 #include <abi/errno.h>
 
