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

seoul: update seoul-genode.run 

Issue #2715
This commit is contained in:
Alexander Boettcher 2018-03-18 22:34:00 +01:00 committed by Christian Helmuth
parent e51e3dcdbd
commit 5d1f08d512
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/ports/run/seoul-genode.run
View File

@ -45,7 +45,7 @@ if {[catch {exec cp $genode_iso bin/genode.iso}]} {
exit 1
}
set files_vm [exec isoinfo -i $genode_iso -x "/BOOT/GRUB/MENU.LST;1"]
set files_vm [exec isoinfo -i $genode_iso -x "/boot/grub/grub.cfg;1"]
set vm [split $files_vm "\n"]
set guest_os_binaries {}

8
repos/ports/run/seoul.inc
View File

@ -264,10 +264,10 @@ append_if [expr $use_nic_session && !$use_nic_bridge] config {
append_if $use_framebuffer config {
<service name="Framebuffer"><child name="fb_drv"/></service>}
append_if $use_genode_iso config {
<service name="ROM" label="vm_seoul.cfg">
<parent/> </service>
<service name="ROM" label="platform_info">
<parent/> </service>
<service name="ROM" label="vm_seoul.cfg"> <parent/> </service>
<service name="ROM" label="platform_info"> <parent/> </service>
<service name="ROM" unscoped_label="seoul"> <parent/> </service>
<service name="ROM" unscoped_label="ld.lib.so"> <parent/> </service>
<service name="ROM"><child name="iso9660"/></service>}
append config {
<service name="Rtc"><child name="rtc_drv"/></service>