From b35484b8b0d97008c2c22245e657abf1bd30e4ab Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Wed, 30 Jan 2013 16:39:18 +0100 Subject: [PATCH] nova: enable iommu in kernel by default --- base-nova/run/env | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/base-nova/run/env b/base-nova/run/env index ac38eda149..c3974783ae 100644 --- a/base-nova/run/env +++ b/base-nova/run/env @@ -72,7 +72,7 @@ proc build_boot_image {binaries} { puts $fh "timeout 0" puts $fh "default 0" puts $fh "\ntitle Genode on NOVA" - puts $fh " kernel /hypervisor serial" + puts $fh " kernel /hypervisor iommu serial" puts $fh " module /genode/core" puts $fh " module /genode/config" foreach binary $binaries { @@ -87,7 +87,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 serial" + puts $fh " load /hypervisor iommu serial" puts $fh " load /genode/core" puts $fh " load /genode/config" foreach binary $binaries {