diff --git a/repos/os/include/platform/vea9x4/pl011_defs.h b/repos/os/include/platform/vea9x4/pl011_defs.h
index 195e089171..9eebbc38b6 100644
--- a/repos/os/include/platform/vea9x4/pl011_defs.h
+++ b/repos/os/include/platform/vea9x4/pl011_defs.h
@@ -15,6 +15,7 @@
 #ifndef _INCLUDE__PLATFORM__PBXA9__PL011_DEFS_H_
 #define _INCLUDE__PLATFORM__PBXA9__PL011_DEFS_H_
 
+#include <base/stdint.h>
 #include <platform/vea9x4/bus.h>
 #include <drivers/board_base.h>