From 5459291f9dc79cf0a048b701ed39c65aefa95195 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 7 Dec 2012 14:35:56 +0100
Subject: [PATCH] test-fb_block_adapter & base_hw: missing include

Fix #562
---
 os/src/test/fb_block_adapter/main.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/os/src/test/fb_block_adapter/main.cc b/os/src/test/fb_block_adapter/main.cc
index 82bb726e6f..f58e583800 100644
--- a/os/src/test/fb_block_adapter/main.cc
+++ b/os/src/test/fb_block_adapter/main.cc
@@ -23,6 +23,7 @@
 #include <block_session/rpc_object.h>
 #include <framebuffer_session/connection.h>
 #include <timer_session/connection.h>
+#include <base/semaphore.h>
 
 static Genode::size_t fb_size = 0;  /* framebuffer size */
 static Genode::addr_t fb_addr = 0;  /* start address of framebuffer */