ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 22:23:16 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
11,422 Commits 2 Branches 70 Tags 87 MiB
aff1db1543
Commit Graph

2 Commits

Author SHA1 Message Date
Christian Helmuth
393766a931 legacy_platform_drv: ACPI devices in configuration 
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
 2022-08-10 13:33:00 +02:00
Stefan Kalkowski
7db602faec os: deprecate platform API for x86, rpi, imx53 
* Move platform APIs to "legacy/" subdirectory
* Rename old pc, imx53, and rpi platform_drv
  to "legacy_*_platform_drv"

Fix #4359
 2022-01-19 12:38:12 +01:00