From dc205e693716c5baa8f32f6f86b509b72c89ed05 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 30 Oct 2012 13:41:33 +0100
Subject: [PATCH] base-hw: fix compile error with GCC 4.7

Fixes #438.
---
 base-hw/src/core/kernel.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base-hw/src/core/kernel.cc b/base-hw/src/core/kernel.cc
index 315b5f863d..0d1058eb06 100644
--- a/base-hw/src/core/kernel.cc
+++ b/base-hw/src/core/kernel.cc
@@ -258,7 +258,7 @@ namespace Kernel
 					Entry * find(unsigned long const object_id)
 					{
 						if (object_id == id()) return this;
-						Entry * const subtree = child(object_id > id());
+						Entry * const subtree = Avl_node<Entry>::child(object_id > id());
 						return subtree ? subtree->find(object_id) : 0;
 					}