mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-31 16:11:36 +00:00
If PCI devices happen to miss complete configuration after boot, the platform driver supports <pci-fixup> nodes for concrete devices (specified by bus-device-functions tuples). The <bar> node instructs the platform driver to remap BAR id 0 to address 0x4017002000, which amends the BIOS configuration and is stringently required for BARs with address 0. ! <pci-fixup bus="0" device="0x15" function="3"> ! <bar id="0" address="0x4017002000"/> ! </pci-fixup> The issue was discovered with Intel LPSS devices in Fujitsu notebooks. Fixes #4501
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.