mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 15:56:41 +00:00
55 lines
1.5 KiB
Plaintext
55 lines
1.5 KiB
Plaintext
<config>
|
|
<parent-provides>
|
|
<service name="ROM"/>
|
|
<service name="PD"/>
|
|
<service name="RM"/>
|
|
<service name="CPU"/>
|
|
<service name="LOG"/>
|
|
<service name="Timer"/>
|
|
<service name="Platform"/>
|
|
<service name="Report"/>
|
|
<service name="Rtc"/>
|
|
</parent-provides>
|
|
|
|
<default-route> <any-service> <parent/> </any-service> </default-route>
|
|
|
|
<service name="Nic">
|
|
<default-policy> <child name="nic"/> </default-policy> </service>
|
|
|
|
<!-- wifi driver (default) -->
|
|
<start name="nic" caps="300">
|
|
<binary name="wifi_drv" />
|
|
<resource name="RAM" quantum="54M"/>
|
|
<provides> <service name="Nic"/> </provides>
|
|
<config ld_verbose="yes" verbose="yes" use_11n="no" connected_scan_interval="0">
|
|
<vfs>
|
|
<dir name="dev"> <log/> <rtc/> <null/>
|
|
<jitterentropy name="random"/>
|
|
<jitterentropy name="urandom"/>
|
|
</dir>
|
|
<dir name="config"> <ram/> </dir>
|
|
</vfs>
|
|
<libc stdout="/dev/null" stderr="/dev/log" rtc="/dev/rtc"/>
|
|
</config>
|
|
<route>
|
|
<service name="ROM" label="wlan_configuration">
|
|
<parent label="wlan.config"/> </service>
|
|
<service name="Platform"> <parent label="wifi"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
</start>
|
|
|
|
<!-- uncomment for wired NIC driver -->
|
|
<!-- <start name="nic" caps="300">
|
|
<binary name="nic_drv" />
|
|
<resource name="RAM" quantum="16M"/>
|
|
<provides> <service name="Nic"/> </provides>
|
|
<config />
|
|
<route>
|
|
<service name="Platform"> <parent label="nic"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
</start> -->
|
|
</config>
|
|
|