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"]} {
 		#