mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 02:01:38 +00:00
6c003a13d2
The platform services is intented to be used by dde_linux's intel_fb_drv in order to initlialize displays. * implement and announce platform session * limit accessible GTT and aperture of client to 64 MB * forward display engine IRQs to platform client * move all PCI resources to 'Igd::Resources' class in order to make them accessible by the platform service and the GPU driver * fix fence register allocation for id zero (return true) issue #4233
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.