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

nova: nopcid required for thinkpad x201

This commit is contained in:
Alexander Boettcher 2014-02-17 15:49:47 +01:00 committed by Christian Helmuth
parent 737a3290d9
commit d1b0af5eb9
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

@ -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 nopcid"
puts $fh " module /genode/core"
puts $fh " module /genode/config"
foreach binary $binaries {
@ -89,7 +89,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 nopcid"
puts $fh " load /genode/core"
puts $fh " load /genode/config"
foreach binary $binaries {