ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-24 01:28:48 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: adjust network scenarios for wandboard

Browse Source 
Issue #2665
This commit is contained in:
Alexander Boettcher
2018-03-28 14:14:42 +02:00
committed by Christian Helmuth
parent 0b7e2a1642
commit fce15b4f13
4 changed files with 8 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
repos/ports/run/netperf.inc
View File

@ -117,7 +117,7 @@ create_boot_directory
set lx_ip_addr "10.0.2.55"
set config {
<config verbose="yes">
<config verbose="yes" prio_levels="2">
<parent-provides>
<service name="ROM"/>
<service name="IRQ"/>
@ -219,7 +219,7 @@ append_if $use_usb_driver config {
</start>}
append_if $use_nic_driver config {
<start name="nic_drv" caps="120">
<start name="nic_drv" caps="130">
<binary name="} [nic_drv_binary] {"/>
<resource name="RAM" quantum="20M"/>
<provides><service name="Nic"/></provides>
@ -284,7 +284,7 @@ append_if $use_wifi_driver config {
append_platform_drv_config
append config {
<start name="netserver_genode" caps="220">
<start name="netserver_genode" caps="220" priority="-1">
}
append config "<binary name=\"$netperf_app\"/>"
append config {

2
repos/ports/run/noux_net_netcat.run
View File

@ -114,7 +114,7 @@ append config {
}
append_if $use_nic_driver config {
<start name="nic_drv" caps="120">
<start name="nic_drv" caps="130">
<resource name="RAM" quantum="20M"/>
<provides> <service name="Nic"/> </provides>
</start>}