denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Adjust GPIO cap quota in nic run scripts

Browse Source
This commit is contained in:
Christian Helmuth
2017-06-12 17:10:52 +02:00
parent a1b1525ec1
commit 06b25a9082
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/libports/run/nic_dump.run
View File

@@ -43,7 +43,7 @@ create_boot_directory
proc gpio_drv_config { } {
if {[have_spec gpio]} {
append result {
<start name="} [gpio_drv] {">
<start name="} [gpio_drv] {" caps="140">
<resource name="RAM" quantum="4M"/>
<provides><service name="Gpio"/></provides>
</start>}

2
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] {">
<start name="} [gpio_drv] {" caps="140">
<resource name="RAM" quantum="4M"/>
<provides><service name="Gpio"/></provides>
</start>}