ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-21 14:37:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

nic_router & timer* tests: prioritize timer driver

Browse Source 
The timer driver should always be of the highest priority to avoid
problem with timers that have low max-counter values like the PIT
with only 53 ms.

Ref #2400
This commit is contained in:
Martin Stein 2017-08-30 11:49:56 +02:00 committed by Christian Helmuth
parent fd59c5f92a
commit 68cd5e8004
3 changed files with 18 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
repos/libports/run/nic_router.run
View File

@ -47,7 +47,7 @@ create_boot_directory
proc gpio_drv_config { } {
if {[have_spec gpio]} {
append result {
<start name="} [gpio_drv] {" caps="140">
<start name="} [gpio_drv] {" caps="140" priority="-1">
<resource name="RAM" quantum="4M"/>
<provides><service name="Gpio"/></provides>
</start>}
@ -58,7 +58,7 @@ proc gpio_drv_config { } {
proc nic_drv_config { } {
if {[nic_drv] == "nic_drv"} {
append result {
<start name="nic_drv">
<start name="nic_drv" priority="-1">
<binary name="} [nic_drv_binary] {"/>
<resource name="RAM" quantum="6M"/>
<provides><service name="Nic"/></provides>
@ -67,7 +67,7 @@ proc nic_drv_config { } {
}
if {[nic_drv] == "usb_drv"} {
append result {
<start name="usb_drv" caps="120">
<start name="usb_drv" caps="120" priority="-1">
<resource name="RAM" quantum="14M"/>
<provides>
<service name="Nic"/>
@ -95,7 +95,7 @@ proc ram_quota { prot } {
proc client_config { prot index ip_addr gateway netmask nic srv_port srv_ip } {
append result {
<start name="} $prot {_client_} $index {" caps="200">
<start name="} $prot {_client_} $index {" caps="200" priority="-1">
<binary name="} [client_bin $prot] {" />
<resource name="RAM" quantum="} [ram_quota $prot] {"/>
<route>
@ -113,7 +113,7 @@ proc client_config { prot index ip_addr gateway netmask nic srv_port srv_ip } {
proc server_config { prot index ip_addr gateway netmask nic port } {
append result {
<start name="} $prot {_server_} $index {" caps="200">
<start name="} $prot {_server_} $index {" caps="200" priority="-1">
<binary name="} [server_bin $prot] {" />
<resource name="RAM" quantum="} [ram_quota $prot] {"/>
<route>
@ -166,7 +166,7 @@ proc test_6_config { } {
}
append config {
<config>
<config prio_levels="2">
<parent-provides>
<service name="ROM"/>
<service name="IRQ"/>
@ -188,12 +188,13 @@ append config {
} [nic_drv_config] {
} [platform_drv_config] {
<start name="timer">
<start name="timer" priority="0">
<resource name="RAM" quantum="1M"/>
<resource name="CPU" quantum="5"/>
<provides><service name="Timer"/></provides>
</start>
<start name="nic_router" caps="200">
<start name="nic_router" caps="200" priority="-1">
<resource name="RAM" quantum="10M"/>
<provides><service name="Nic"/></provides>
<config rtt_sec="3" verbose="no">
@ -240,7 +241,7 @@ append config {
</route>
</start>
<start name="nic_bridge" caps="200">
<start name="nic_bridge" caps="200" priority="-1">
<resource name="RAM" quantum="10M"/>
<provides><service name="Nic"/></provides>
<config>
@ -285,4 +286,4 @@ proc nic_qemu_args { } {
append qemu_args "-nographic -net user [nic_qemu_args]"
run_genode_until {.*Test done.*\n.*Test done.*\n.*Test done.*\n.*Test done.*\n.*Test done.*\n.*Test done.*\n} 60
run_genode_until {.*Test done.*\n.*Test done.*\n.*Test done.*\n.*Test done.*\n.*Test done.*\n.*Test done.*\n} 80

6
repos/os/run/timer.run
View File

@ -12,7 +12,7 @@ create_boot_directory
# Define XML configuration for init
install_config {
<config>
<config prio_levels="2">
<parent-provides>
<service name="ROM"/>
<service name="IRQ"/>
@ -26,11 +26,11 @@ install_config {
<default-route>
<any-service><parent/><any-child/></any-service>
</default-route>
<start name="timer" caps="64">
<start name="timer" caps="64" priority="0">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
</start>
<start name="client" caps="300">
<start name="client" caps="300" priority="-1">
<binary name="test-timer"/>
<resource name="RAM" quantum="10M"/>
</start>

7
repos/os/run/timer_accuracy.run
View File

@ -6,7 +6,7 @@ create_boot_directory
# define XML configuration for init
install_config {
<config>
<config prio_levels="2">
<parent-provides>
<service name="ROM"/>
<service name="IRQ"/>
@ -21,11 +21,12 @@ install_config {
<any-service><parent/><any-child/></any-service>
</default-route>
<default caps="100"/>
<start name="timer">
<start name="timer" priority="0">
<resource name="RAM" quantum="1M"/>
<resource name="CPU" quantum="5"/>
<provides><service name="Timer"/></provides>
</start>
<start name="test-timer_accuracy">
<start name="test-timer_accuracy" priority="-1">
<resource name="RAM" quantum="10M"/>
</start>
</config>