From 8b568a60292a6b8bddf1c62b10e782d969415683 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 10 Dec 2012 10:55:08 +0100
Subject: [PATCH] base-hw: env bug that caused missing boot modules

Fixes #420
---
 base-hw/run/env | 1 +
 1 file changed, 1 insertion(+)

diff --git a/base-hw/run/env b/base-hw/run/env
index dc996274ad..0ac36188eb 100644
--- a/base-hw/run/env
+++ b/base-hw/run/env
@@ -112,6 +112,7 @@ proc enable_specific_boot_modules {file} {
 	exec rm -rf boot_modules.s
 	exec ln -s $file boot_modules.s
 	exec rm -rf var/libcache/boot_modules/boot_modules.o
+	exec find . -type f -name "core" -delete
 }