From ffd48e3f830e247144535f536ed60e5b96c80f5f Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 4 Sep 2015 12:21:32 +0200
Subject: [PATCH] run: strip NOVA kernel

---
 tool/run/boot_dir/nova | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tool/run/boot_dir/nova b/tool/run/boot_dir/nova
index 60d852945..9a47b3d16 100644
--- a/tool/run/boot_dir/nova
+++ b/tool/run/boot_dir/nova
@@ -43,6 +43,7 @@ proc run_boot_dir {binaries} {
 
 	puts "using NOVA kernel at [nova_kernel]"
 	exec [cross_dev_prefix]objcopy -O elf32-i386 [nova_kernel] [run_dir]/hypervisor
+	exec [cross_dev_prefix]strip [run_dir]/hypervisor
 
 	if {[have_include "image/iso"] || [have_include "image/disk"]} {
 		#