From f4b46fe55c4d0db8efae45d40e9a749545f5edf2 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 5 Nov 2013 10:53:54 +0100
Subject: [PATCH] hw: move kernel.cc to core/kernel/

ref #935
---
 base-hw/src/core/{ => kernel}/kernel.cc | 0
 base-hw/src/core/target.inc             | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename base-hw/src/core/{ => kernel}/kernel.cc (100%)

diff --git a/base-hw/src/core/kernel.cc b/base-hw/src/core/kernel/kernel.cc
similarity index 100%
rename from base-hw/src/core/kernel.cc
rename to base-hw/src/core/kernel/kernel.cc
diff --git a/base-hw/src/core/target.inc b/base-hw/src/core/target.inc
index 882139d901..c1ae4e2562 100644
--- a/base-hw/src/core/target.inc
+++ b/base-hw/src/core/target.inc
@@ -46,7 +46,7 @@ SRC_CC += console.cc \
           signal_session_component.cc \
           trace_session_component.cc \
           thread.cc \
-          kernel.cc \
+          kernel/kernel.cc \
           kernel/thread.cc \
           kernel/vm.cc \
           kernel/signal_receiver.cc \