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; }