From 16b4e7d73a5206881acef75a112b6e88259f5b3b Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 26 Nov 2014 13:01:39 +0100
Subject: [PATCH] os: add missing include in vea9x4/pl011_defs.h

fix #1303
---
 repos/os/include/platform/vea9x4/pl011_defs.h | 1 +
 1 file changed, 1 insertion(+)

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>