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

seoul: add top utility to seoul*.run scenarios 

Issue #2715
This commit is contained in:
Alexander Boettcher 2018-03-02 14:52:40 +01:00 committed by Christian Helmuth
parent 05765cd25b
commit 2403c32d4f
7 changed files with 21 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/ports/run/seoul-auto.run
View File

@ -29,6 +29,7 @@ set use_usb 0
set use_framebuffer 1
set use_fancy_stuff 0
set use_top 0
set memory_vmm_vm "128M"

1
repos/ports/run/seoul-disc.run
View File

@ -22,6 +22,7 @@ set use_usb 0
set use_framebuffer 1
set use_fancy_stuff 0
set use_top 0
set memory_vmm_vm "512M"

1
repos/ports/run/seoul-fancy.run
View File

@ -25,6 +25,7 @@ set use_usb 0
set use_framebuffer 1
set use_fancy_stuff 1
set use_top 0
set memory_init "288M"
set memory_vmm_vm "128M"

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

@ -23,6 +23,7 @@ set use_usb 0
set use_framebuffer 1
set use_fancy_stuff 0
set use_top 0
set memory_vmm_vm "128M"

1
repos/ports/run/seoul-kernelbuild.run
View File

@ -29,6 +29,7 @@ set use_usb 0
set use_framebuffer 0
set use_fancy_stuff 0
set use_top 0
set memory_vmm_vm "950M"

1
repos/ports/run/seoul-net.run
View File

@ -22,6 +22,7 @@ set use_usb 0
set use_framebuffer 1
set use_fancy_stuff 0
set use_top 0
set memory_vmm_vm "128M"

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

@ -45,6 +45,7 @@ lappend_if $use_fancy_stuff build_components server/nitlog
lappend_if $use_fancy_stuff build_components server/report_rom
lappend_if $use_genode_iso build_components server/iso9660
lappend_if $use_genode_iso build_components server/rom_blk
lappend_if $use_top build_components app/top
append_platform_drv_build_components
@ -152,7 +153,12 @@ append config {
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="LOG"/>}
append_if $use_top config {
<service name="TRACE"/>}
append config {
</parent-provides>
<default-route>
<any-service> <parent/> <any-child/> </any-service>
@ -326,6 +332,12 @@ append_if $use_fancy_stuff config {
</route>
</start>}
append_if $use_top config {
<start name="top">
<resource name="RAM" quantum="2M"/>
<config period_ms="10000"/>
</start>}
append config {
</config>}
@ -425,6 +437,8 @@ lappend_if $use_genode_iso boot_modules genode.iso
lappend_if $use_block_ram boot_modules seoul-disc.raw
lappend_if $use_top boot_modules top
#
# Add OS binaries of guest
#