alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Assign cap quotas in run scripts

Browse Source 
Ref #74
This commit is contained in:
Emery Hemingway
2017-05-29 23:41:50 -05:00
parent 5a1bd02ef4
commit 4e006e0423
6 changed files with 36 additions and 72 deletions
Download Patch File Download Diff File Expand all files Collapse all files

84
run/tyrian.run
View File

@@ -1,8 +1,3 @@
#
# OpenTyrian crashes without the proper framebuferr resolution,
# so run it in nit_fb.
#
#
# Build
#
@@ -14,8 +9,6 @@ set build_components {
drivers/input
drivers/input/dummy
drivers/timer
server/nit_fb
server/nitpicker
app/opentyrian
}
@@ -41,6 +34,7 @@ create_boot_directory
append config {
<config>
<default caps="128"/>
<parent-provides>
<service name="CAP"/>
<service name="CPU"/>
@@ -49,7 +43,6 @@ append config {
<service name="IRQ"/>
<service name="LOG"/>
<service name="PD"/>
<service name="RAM"/>
<service name="RM"/>
<service name="ROM"/>
<service name="SIGNAL"/>
@@ -60,16 +53,30 @@ append config {
append_platform_drv_config
append_if [have_spec sdl] config {
<start name="fb_sdl">
<resource name="RAM" quantum="4M"/>
<provides>
<service name="Input"/>
<service name="Framebuffer"/>
</provides>
<config width="640" height="400" />
</start>
<alias name="input_drv" child="fb_sdl"/>
<alias name="fb_drv" child="fb_sdl"/>}
append_if [have_spec vesa] config {
<start name="fb_drv">
<resource name="RAM" quantum="4M"/>
<provides><service name="Framebuffer"/></provides>
<config width="640" height="400" />
</start>}
append_if [have_spec pl11x] config {
<start name="fb_drv">
<resource name="RAM" quantum="2M"/>
<provides><service name="Framebuffer"/></provides>
<config width="640" height="400" />
</start>}
append_if [have_spec ps2] config {
@@ -84,61 +91,22 @@ append config {
<provides><service name="Timer"/></provides>
</start>
<start name="audio_drv">
<binary name="} [audio_drv_binary] {"/>
<resource name="RAM" quantum="6M"/>
<provides><service name="Audio_out"/></provides>
</start>
<start name="dummy_input_drv">
<resource name="RAM" quantum="1M"/>
<provides><service name="Input"/></provides>
</start>
<start name="nitpicker">
<resource name="RAM" quantum="1M"/>
<provides><service name="Nitpicker"/></provides>
<route>
<any-service>
<child name="fb_drv"/>
<child name="dummy_input_drv"/>
<parent/> <any-child/>
</any-service>
</route>
<config>
<domain name="default" layer="1" content="client" label="no" />
<policy domain="default"/>
</config>
</start>
<start name="nit_fb" priority="-1">
<resource name="RAM" quantum="8M" />
<provides>
<service name="Framebuffer" />
<service name="Input" />
</provides>
<config width="640" height="400" />
</start>
<start name="opentyrian">
<exit propagate="yes"/>
<resource name="RAM" quantum="128M"/>
<route>
<service name="Framebuffer">
<child name="nit_fb"/>
</service>
<any-service>
<child name="ps2_drv"/>
<parent/> <any-child/>
</any-service>
</route>
<config>
<sdl_audio_volume value="100"/>
<libc stdout="/dev/log" stderr="/dev/log">
<vfs>
<tar name="tyrian.tar"/>
<ram/>
<dir name="dev"> <log/> </dir>
</vfs>
</libc>
<libc stdout="/dev/log" stderr="/dev/log"/>
<vfs>
<dir name="dev"> <log/> </dir>
<tar name="tyrian.tar"/>
<ram/>
</vfs>
</config>
</start>
</config>}
@@ -152,17 +120,16 @@ install_config $config
file copy -force app/opentyrian/tyrian.tar bin
# generic modules
set boot_modules {
append boot_modules {
core init
audio_drv
} [audio_drv_binary] {
dummy_input_drv
ld.lib.so
libc.lib.so
libm.lib.so
libpng.lib.so
nitpicker
nit_fb
pthread.lib.so
posix.lib.so
sdl.lib.so
sdl_net.lib.so
stdcxx.lib.so
@@ -171,6 +138,7 @@ set boot_modules {
}
# platform-specific modules
lappend_if [have_spec linux] boot_modules fb_sdl
lappend_if [have_spec vesa] boot_modules fb_drv
lappend_if [have_spec ps2] boot_modules ps2_drv
lappend_if [have_spec pl11x] boot_modules fb_drv