ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

nova: enable iommu in kernel by default

This commit is contained in:
Alexander Boettcher 2013-01-30 16:39:18 +01:00 committed by Norman Feske
parent 5f90b93f80
commit b35484b8b0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
base-nova/run/env
View File

@ -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 {