mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-24 02:51:20 +00:00
6a5473b478
Instead of forwarding the whole devices ROM of the platform driver to the display driver, report only Intel devices and additionally adjust the reported IOMEM size to the reduced aperture size. Related #5207 Issue #5345 Issue #5356
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.