diff --git a/repos/base-nova/run/env b/repos/base-nova/run/env
index de7185a79..6b4cc1846 100644
--- a/repos/base-nova/run/env
+++ b/repos/base-nova/run/env
@@ -73,7 +73,7 @@ proc build_boot_image {binaries} {
 	puts $fh "default 0"
 	puts $fh "\ntitle Genode on NOVA"
 	puts $fh " kernel /boot/bender"
-	puts $fh " module /hypervisor iommu serial"
+	puts $fh " module /hypervisor iommu serial novpid"
 	puts $fh " module /genode/core"
 	puts $fh " module /genode/config"
 	foreach binary $binaries {
@@ -90,7 +90,7 @@ proc build_boot_image {binaries} {
 	#
 	set fh [open "[run_dir]/config-52-54-00-12-34-56" "WRONLY CREAT TRUNC"]
 	puts $fh " exec /boot/bender"
-	puts $fh " load /hypervisor iommu serial"
+	puts $fh " load /hypervisor iommu serial novpid"
 	puts $fh " load /genode/core"
 	puts $fh " load /genode/config"
 	foreach binary $binaries {