mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-27 17:18:53 +00:00
393766a931
Known ACPI device resources can be statically configured on startup like follows. <config> <policy label_prefix="driver"> <device name="ACPI0000"/> </policy> <device name="ACPI0000" typee="acpi"> <irq number="99" mode="level" polarity="low"/> <io_mem address="0xfc000000" size="0x100000"/> <io_port_range address="0x4000" size="4"/> </device> </config> Fixes #4545 |
||
---|---|---|
.. | ||
platform_device | ||
platform_session |