From 5f64411ad7ece3e08f93fa5b048503a735fd907c Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 6 Sep 2013 16:56:01 +0200
Subject: [PATCH] hw: add missing include in singleton header

ref #528
---
 base-hw/src/base/singleton.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/base-hw/src/base/singleton.h b/base-hw/src/base/singleton.h
index c1fb05487b..b1968048b2 100644
--- a/base-hw/src/base/singleton.h
+++ b/base-hw/src/base/singleton.h
@@ -28,6 +28,9 @@
 #ifndef _SINGLETON_H_
 #define _SINGLETON_H_
 
+/* Genode includes */
+#include <base/stdint.h>
+
 inline void *operator new(Genode::size_t, void *at) { return at; }