From ff343eab9c7c9fcc0e4d07bb014c673683166010 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 27 Aug 2015 16:28:24 +0200
Subject: [PATCH] vbox_pointer: remove obsolete boot modules

---
 repos/ports/run/vbox_pointer.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/run/vbox_pointer.run b/repos/ports/run/vbox_pointer.run
index 187aa2999c..3a442c6fa7 100644
--- a/repos/ports/run/vbox_pointer.run
+++ b/repos/ports/run/vbox_pointer.run
@@ -329,7 +329,7 @@ set boot_modules {
 	fb_sdl
 	report_rom dynamic_rom
 	nitpicker
-	vbox_pointer arrow.shape cross.shape smiley.shape
+	vbox_pointer
 	test-vbox_pointer
 	testnit
 }