--- src/lib/fatfs/source/integer.h	2017-05-21 13:10:48.000000000 -0500
+++ src/lib/fatfs/source/integer.h	2017-07-22 10:59:54.856013544 -0500
@@ -14,24 +14,26 @@
 
 #else			/* Embedded platform */
 
+#include <base/fixed_stdint.h>
+
 /* These types MUST be 16-bit or 32-bit */
 typedef int				INT;
 typedef unsigned int	UINT;
 
 /* This type MUST be 8-bit */
-typedef unsigned char	BYTE;
+typedef genode_uint8_t	BYTE;
 
 /* These types MUST be 16-bit */
-typedef short			SHORT;
-typedef unsigned short	WORD;
-typedef unsigned short	WCHAR;
+typedef genode_int16_t	SHORT;
+typedef genode_uint16_t	WORD;
+typedef genode_uint16_t	WCHAR;
 
 /* These types MUST be 32-bit */
-typedef long			LONG;
-typedef unsigned long	DWORD;
+typedef genode_int32_t	LONG;
+typedef genode_uint32_t	DWORD;
 
 /* This type MUST be 64-bit (Remove this for ANSI C (C89) compatibility) */
-typedef unsigned long long QWORD;
+typedef genode_uint64_t QWORD;
 
 #endif
 
