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

platform_drv.inc: reduce acpi_drv caps to 350

Browse Source 
This value equals the configuration in drivers_managed-pc, i.e., Sculpt.
This commit is contained in:
Christian Helmuth
2019-09-23 15:18:26 +02:00
parent 11a7ac0536
commit e0af9c2d8b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base/run/platform_drv.inc
View File

@@ -185,7 +185,7 @@ proc platform_drv_config {} {
if {[have_spec x86] && ![have_spec muen] && ![have_spec linux]} {
append drv_config {
<start name="acpi_drv" } [platform_drv_priority] { caps="400" >
<start name="acpi_drv" } [platform_drv_priority] { caps="350" >
<binary name="} [acpi_drv_name] {"/>}
if {[acpi_drv_name] eq "acpica"} {