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

wireguard: enable wg_fetchurl.run on sel4

Browse Source
This commit is contained in:
Christian Helmuth 2022-06-02 11:47:17 +02:00
parent 83f5dd8a8b
commit 871ee04ed6
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/dde_linux/run/wg_fetchurl.run
View File

@ -61,12 +61,14 @@ append config {
<service name="PD"> <parent/> </service>
<service name="CPU"> <parent/> </service>
<service name="LOG"> <parent/> </service>
<service name="IO_PORT"> <parent/> </service> <!-- sel4/x86 -->
<service name="IRQ"> <parent/> </service> <!-- sel4/x86 -->
</route>
</start>
<start name="report" caps="100">
<binary name="report_rom"/>
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<provides> <service name="Report"/> <service name="ROM"/> </provides>
<route>
<service name="ROM"> <parent/> </service>