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

Increased RAM for drivers and added TOPO service to config.

Browse Source
This commit is contained in:
Michael Mueller
2025-01-21 15:09:02 +01:00
parent e0eabd9d7c
commit 911f29bcf2
1 changed files with 11 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
repos/gems/recipes/raw/drivers_nic-pc/drivers.config
View File

@@ -11,6 +11,7 @@
<service name="LOG"/>
<service name="Timer"/>
<service name="Uplink"/>
<service name="TOPO"/>
</parent-provides>
<default caps="100"/>
@@ -19,7 +20,7 @@
<default-policy> <child name="nic_drv"/> </default-policy> </service>
<start name="acpi_drv" caps="300">
<resource name="RAM" quantum="4M"/>
<resource name="RAM" quantum="16M"/>
<route>
<service name="IO_MEM"> <parent/> </service>
<service name="LOG"> <parent/> </service>
@@ -27,12 +28,13 @@
<service name="RM"> <parent/> </service>
<service name="CPU"> <parent/> </service>
<service name="ROM"> <parent/> </service>
<service name="TOPO"> <parent/> </service>
<service name="Report"> <child name="report_rom"/> </service>
</route>
</start>
<start name="report_rom">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="16M"/>
<provides>
<service name="ROM" />
<service name="Report" />
@@ -45,18 +47,20 @@
<service name="LOG"> <parent/> </service>
<service name="PD"> <parent/> </service>
<service name="CPU"> <parent/> </service>
<service name="TOPO"> <parent/> </service>
<service name="ROM"> <parent/> </service>
</route>
</start>
<start name="pci_decode">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="16M"/>
<route>
<service name="Report"> <child name="report_rom"/> </service>
<service name="ROM" label="system"> <child name="report_rom"/> </service>
<service name="IO_MEM"> <parent/> </service>
<service name="LOG"> <parent/> </service>
<service name="PD"> <parent/> </service>
<service name="TOPO"> <parent/> </service>
<service name="RM"> <parent/> </service>
<service name="CPU"> <parent/> </service>
<service name="ROM"> <parent/> </service>
@@ -64,7 +68,7 @@
</start>
<start name="platform_drv" caps="200" managing_system="yes">
<resource name="RAM" quantum="3M"/>
<resource name="RAM" quantum="24M"/>
<provides>
<service name="Platform"/>
<service name="Acpi"/>
@@ -77,6 +81,7 @@
<service name="ROM"> <parent/> </service>
<service name="PD"> <parent/> </service>
<service name="CPU"> <parent/> </service>
<service name="TOPO"> <parent/> </service>
<service name="LOG"> <parent/> </service>
<service name="Timer"> <parent/> </service>
</route>
@@ -87,12 +92,13 @@
<start name="nic_drv" caps="200">
<binary name="ipxe_nic_drv"/>
<resource name="RAM" quantum="8M"/>
<resource name="RAM" quantum="256M"/>
<route>
<service name="Platform"> <child name="platform_drv"/> </service>
<service name="ROM"> <parent/> </service>
<service name="PD"> <parent/> </service>
<service name="RM"> <parent/> </service>
<service name="TOPO"> <parent/> </service>
<service name="CPU"> <parent/> </service>
<service name="LOG"> <parent/> </service>
<service name="Timer"> <parent/> </service>