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