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

ssh_exec_channel: adjust cap quota for seL4

Browse Source 
Issue #4095
This commit is contained in:
Alexander Boettcher
2021-04-29 16:42:39 +02:00
committed by Norman Feske
parent 118e8ee6e1
commit ce75b25fd4
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/gems/run/ssh_exec_channel.run
View File

@@ -72,7 +72,7 @@ set config {
</route>
</start>
<start name="nic_drv">
<start name="nic_drv" caps="120">
<binary name="ipxe_nic_drv"/>
<resource name="RAM" quantum="8M"/>
<config mode="uplink_client"/>