mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-10 22:44:30 +00:00
vbox: use priorities in run scripts
By using priorities, we make sure that the timer gets scheduled whenever it is able to run regardless of how much load is on the system.
This commit is contained in:
parent
21e9eebf25
commit
605a5d7df2
@ -14,7 +14,7 @@ build $build_components
|
|||||||
create_boot_directory
|
create_boot_directory
|
||||||
|
|
||||||
set config {
|
set config {
|
||||||
<config>
|
<config prio_levels="4">
|
||||||
<parent-provides>
|
<parent-provides>
|
||||||
<service name="ROM"/>
|
<service name="ROM"/>
|
||||||
<service name="RAM"/>
|
<service name="RAM"/>
|
||||||
@ -37,7 +37,7 @@ set config {
|
|||||||
</start>}
|
</start>}
|
||||||
|
|
||||||
append_if [have_spec acpi] config {
|
append_if [have_spec acpi] config {
|
||||||
<start name="acpi">
|
<start name="acpi" priority="-1">
|
||||||
<resource name="RAM" quantum="5M"/>
|
<resource name="RAM" quantum="5M"/>
|
||||||
<binary name="acpi_drv"/>
|
<binary name="acpi_drv"/>
|
||||||
<provides>
|
<provides>
|
||||||
@ -51,25 +51,25 @@ append_if [have_spec acpi] config {
|
|||||||
</start>}
|
</start>}
|
||||||
|
|
||||||
append_if [expr ![have_spec acpi] && [have_spec pci]] config {
|
append_if [expr ![have_spec acpi] && [have_spec pci]] config {
|
||||||
<start name="pci_drv">
|
<start name="pci_drv" priority="-1">
|
||||||
<resource name="RAM" quantum="2M"/>
|
<resource name="RAM" quantum="2M"/>
|
||||||
<provides> <service name="PCI"/> </provides>
|
<provides> <service name="PCI"/> </provides>
|
||||||
</start>}
|
</start>}
|
||||||
|
|
||||||
append_if [have_spec ps2] config {
|
append_if [have_spec ps2] config {
|
||||||
<start name="ps2_drv">
|
<start name="ps2_drv" priority="-1">
|
||||||
<resource name="RAM" quantum="1M"/>
|
<resource name="RAM" quantum="1M"/>
|
||||||
<provides><service name="Input"/></provides>
|
<provides><service name="Input"/></provides>
|
||||||
</start>}
|
</start>}
|
||||||
|
|
||||||
append_if [have_spec framebuffer] config {
|
append_if [have_spec framebuffer] config {
|
||||||
<start name="fb_drv">
|
<start name="fb_drv" priority="-1">
|
||||||
<resource name="RAM" quantum="4M"/>
|
<resource name="RAM" quantum="4M"/>
|
||||||
<provides><service name="Framebuffer"/></provides>
|
<provides><service name="Framebuffer"/></provides>
|
||||||
</start>}
|
</start>}
|
||||||
|
|
||||||
append_if [have_spec sdl] config {
|
append_if [have_spec sdl] config {
|
||||||
<start name="fb_sdl">
|
<start name="fb_sdl" priority="-1">
|
||||||
<resource name="RAM" quantum="4M"/>
|
<resource name="RAM" quantum="4M"/>
|
||||||
<provides>
|
<provides>
|
||||||
<service name="Input"/>
|
<service name="Input"/>
|
||||||
@ -78,7 +78,7 @@ append_if [have_spec sdl] config {
|
|||||||
</start>}
|
</start>}
|
||||||
|
|
||||||
append_if [have_spec x86] config {
|
append_if [have_spec x86] config {
|
||||||
<start name="rtc_drv">
|
<start name="rtc_drv" priority="-1">
|
||||||
<resource name="RAM" quantum="1M"/>
|
<resource name="RAM" quantum="1M"/>
|
||||||
<provides>
|
<provides>
|
||||||
<service name="Rtc"/>
|
<service name="Rtc"/>
|
||||||
@ -86,7 +86,7 @@ append_if [have_spec x86] config {
|
|||||||
</start>}
|
</start>}
|
||||||
|
|
||||||
append config {
|
append config {
|
||||||
<start name="virtualbox">
|
<start name="virtualbox" priority="-2">
|
||||||
<resource name="RAM" quantum="1G"/>
|
<resource name="RAM" quantum="1G"/>
|
||||||
<config>
|
<config>
|
||||||
<image type="iso" file="test.iso" />
|
<image type="iso" file="test.iso" />
|
||||||
|
@ -24,7 +24,7 @@ build $build_components
|
|||||||
create_boot_directory
|
create_boot_directory
|
||||||
|
|
||||||
set config {
|
set config {
|
||||||
<config verbose="yes">
|
<config verbose="yes" prio_levels="4">
|
||||||
<parent-provides>
|
<parent-provides>
|
||||||
<service name="ROM"/>
|
<service name="ROM"/>
|
||||||
<service name="RAM"/>
|
<service name="RAM"/>
|
||||||
@ -45,7 +45,7 @@ set config {
|
|||||||
<resource name="RAM" quantum="1M"/>
|
<resource name="RAM" quantum="1M"/>
|
||||||
<provides><service name="Timer"/></provides>
|
<provides><service name="Timer"/></provides>
|
||||||
</start>
|
</start>
|
||||||
<start name="ahci">
|
<start name="ahci" priority="-1">
|
||||||
<binary name="ahci" />
|
<binary name="ahci" />
|
||||||
<resource name="RAM" quantum="10M" />
|
<resource name="RAM" quantum="10M" />
|
||||||
<provides><service name="Block" /></provides>
|
<provides><service name="Block" /></provides>
|
||||||
@ -54,7 +54,7 @@ set config {
|
|||||||
<any-service> <parent /> <any-child /></any-service>
|
<any-service> <parent /> <any-child /></any-service>
|
||||||
</route>
|
</route>
|
||||||
</start>
|
</start>
|
||||||
<start name="part_blk">
|
<start name="part_blk" priority="-1">
|
||||||
<resource name="RAM" quantum="10M" />
|
<resource name="RAM" quantum="10M" />
|
||||||
<provides><service name="Block" /></provides>
|
<provides><service name="Block" /></provides>
|
||||||
<route>
|
<route>
|
||||||
@ -64,7 +64,7 @@ set config {
|
|||||||
<policy label="rump_fs" partition="4"/>
|
<policy label="rump_fs" partition="4"/>
|
||||||
</config>
|
</config>
|
||||||
</start>
|
</start>
|
||||||
<start name="rump_fs">
|
<start name="rump_fs" priority="-1">
|
||||||
<resource name="RAM" quantum="32M" />
|
<resource name="RAM" quantum="32M" />
|
||||||
<provides><service name="File_system"/></provides>
|
<provides><service name="File_system"/></provides>
|
||||||
<config fs="ext2fs"><policy label="" root="/" writeable="yes"/></config>
|
<config fs="ext2fs"><policy label="" root="/" writeable="yes"/></config>
|
||||||
@ -74,7 +74,7 @@ set config {
|
|||||||
</start>}
|
</start>}
|
||||||
|
|
||||||
append_if [have_spec acpi] config {
|
append_if [have_spec acpi] config {
|
||||||
<start name="acpi">
|
<start name="acpi" priority="-1">
|
||||||
<resource name="RAM" quantum="10M"/>
|
<resource name="RAM" quantum="10M"/>
|
||||||
<binary name="acpi_drv"/>
|
<binary name="acpi_drv"/>
|
||||||
<provides>
|
<provides>
|
||||||
@ -88,26 +88,26 @@ append_if [have_spec acpi] config {
|
|||||||
</start>}
|
</start>}
|
||||||
|
|
||||||
append_if [expr ![have_spec acpi] && [have_spec pci]] config {
|
append_if [expr ![have_spec acpi] && [have_spec pci]] config {
|
||||||
<start name="pci_drv">
|
<start name="pci_drv" priority="-1">
|
||||||
<resource name="RAM" quantum="2M"/>
|
<resource name="RAM" quantum="2M"/>
|
||||||
<provides> <service name="PCI"/> </provides>
|
<provides> <service name="PCI"/> </provides>
|
||||||
</start>}
|
</start>}
|
||||||
|
|
||||||
append_if [have_spec ps2] config {
|
append_if [have_spec ps2] config {
|
||||||
<start name="ps2_drv">
|
<start name="ps2_drv" priority="-1">
|
||||||
<resource name="RAM" quantum="1M"/>
|
<resource name="RAM" quantum="1M"/>
|
||||||
<provides><service name="Input"/></provides>
|
<provides><service name="Input"/></provides>
|
||||||
</start>}
|
</start>}
|
||||||
|
|
||||||
append_if [have_spec framebuffer] config {
|
append_if [have_spec framebuffer] config {
|
||||||
<start name="fb_drv">
|
<start name="fb_drv" priority="-1">
|
||||||
<resource name="RAM" quantum="6M"/>
|
<resource name="RAM" quantum="6M"/>
|
||||||
<provides><service name="Framebuffer"/></provides>
|
<provides><service name="Framebuffer"/></provides>
|
||||||
<config buffered="yes" width="1024" height="768" depth="16" />
|
<config buffered="yes" width="1024" height="768" depth="16" />
|
||||||
</start>}
|
</start>}
|
||||||
|
|
||||||
append_if [have_spec x86] config {
|
append_if [have_spec x86] config {
|
||||||
<start name="rtc_drv">
|
<start name="rtc_drv" priority="-1">
|
||||||
<resource name="RAM" quantum="1M"/>
|
<resource name="RAM" quantum="1M"/>
|
||||||
<provides>
|
<provides>
|
||||||
<service name="Rtc"/>
|
<service name="Rtc"/>
|
||||||
|
@ -7,7 +7,7 @@ set use_iso 0
|
|||||||
set vdi_image "win7.vdi"
|
set vdi_image "win7.vdi"
|
||||||
|
|
||||||
set config_of_app {
|
set config_of_app {
|
||||||
<start name="vbox-auto-test-helper">
|
<start name="vbox-auto-test-helper" priority="-1">
|
||||||
<resource name="RAM" quantum="10M"/>
|
<resource name="RAM" quantum="10M"/>
|
||||||
<route>
|
<route>
|
||||||
<service name="File_system"> <child name="rump_fs"/> </service>
|
<service name="File_system"> <child name="rump_fs"/> </service>
|
||||||
@ -34,7 +34,7 @@ set build_components { }
|
|||||||
set boot_modules { }
|
set boot_modules { }
|
||||||
|
|
||||||
set config_of_app {
|
set config_of_app {
|
||||||
<start name="vbox">
|
<start name="vbox" priority="-2">
|
||||||
<binary name="virtualbox" />
|
<binary name="virtualbox" />
|
||||||
<resource name="RAM" quantum="2G"/>
|
<resource name="RAM" quantum="2G"/>
|
||||||
<config>}
|
<config>}
|
||||||
|
@ -99,7 +99,7 @@ catch { exec dd if=/dev/urandom of=bin/test.bin bs=4096 count=8160 }
|
|||||||
# Step 0: prepare overlay.vdi for a clean run of the VM
|
# Step 0: prepare overlay.vdi for a clean run of the VM
|
||||||
#
|
#
|
||||||
set config_of_app {
|
set config_of_app {
|
||||||
<start name="vbox-auto-test-helper">
|
<start name="vbox-auto-test-helper" priority="-1">
|
||||||
<resource name="RAM" quantum="10M"/>
|
<resource name="RAM" quantum="10M"/>
|
||||||
<route>
|
<route>
|
||||||
<service name="File_system"> <child name="rump_fs"/> </service>
|
<service name="File_system"> <child name="rump_fs"/> </service>
|
||||||
@ -143,7 +143,7 @@ set boot_modules {
|
|||||||
}
|
}
|
||||||
|
|
||||||
set config_of_app {
|
set config_of_app {
|
||||||
<start name="nic_drv">
|
<start name="nic_drv" priority="-1">
|
||||||
<resource name="RAM" quantum="4M"/>
|
<resource name="RAM" quantum="4M"/>
|
||||||
<provides> <service name="Nic"/> </provides>
|
<provides> <service name="Nic"/> </provides>
|
||||||
<route>
|
<route>
|
||||||
@ -152,7 +152,7 @@ set config_of_app {
|
|||||||
</route>
|
</route>
|
||||||
</start>
|
</start>
|
||||||
|
|
||||||
<start name="tcp_terminal">
|
<start name="tcp_terminal" priority="-1">
|
||||||
<resource name="RAM" quantum="5M"/>
|
<resource name="RAM" quantum="5M"/>
|
||||||
<provides> <service name="Terminal"/> </provides>
|
<provides> <service name="Terminal"/> </provides>
|
||||||
<config>
|
<config>
|
||||||
@ -160,7 +160,7 @@ set config_of_app {
|
|||||||
</config>
|
</config>
|
||||||
</start>
|
</start>
|
||||||
|
|
||||||
<start name="noux">
|
<start name="noux" priority="-1">
|
||||||
<resource name="RAM" quantum="32M" />
|
<resource name="RAM" quantum="32M" />
|
||||||
<config>
|
<config>
|
||||||
<fstab>
|
<fstab>
|
||||||
@ -187,7 +187,7 @@ set config_of_app {
|
|||||||
</route>
|
</route>
|
||||||
</start>
|
</start>
|
||||||
|
|
||||||
<start name="ram_fs_from">
|
<start name="ram_fs_from" priority="-1">
|
||||||
<binary name="ram_fs" />
|
<binary name="ram_fs" />
|
||||||
<resource name="RAM" quantum="64M"/>
|
<resource name="RAM" quantum="64M"/>
|
||||||
<provides><service name="File_system"/></provides>
|
<provides><service name="File_system"/></provides>
|
||||||
@ -200,7 +200,7 @@ set config_of_app {
|
|||||||
</config>
|
</config>
|
||||||
</start>
|
</start>
|
||||||
|
|
||||||
<start name="ram_fs_to">
|
<start name="ram_fs_to" priority="-1">
|
||||||
<binary name="ram_fs" />
|
<binary name="ram_fs" />
|
||||||
<resource name="RAM" quantum="64M"/>
|
<resource name="RAM" quantum="64M"/>
|
||||||
<provides><service name="File_system"/></provides>
|
<provides><service name="File_system"/></provides>
|
||||||
@ -209,7 +209,7 @@ set config_of_app {
|
|||||||
</config>
|
</config>
|
||||||
</start>
|
</start>
|
||||||
|
|
||||||
<start name="vbox">
|
<start name="vbox" priority="-2">
|
||||||
<binary name="virtualbox" />
|
<binary name="virtualbox" />
|
||||||
<resource name="RAM" quantum="1536M"/>
|
<resource name="RAM" quantum="1536M"/>
|
||||||
<config>
|
<config>
|
||||||
|
Loading…
x
Reference in New Issue
Block a user