[GSoC] UEFI framebuffer task

[Christian Helmuth]

Hey Phillip,

I assume Sebastian will not mind if I give a small hint according to
item 3 on the list. ;-)

On Tue, Mar 28, 2017 at 03:43:48PM +0200, Sebastian Sumpf wrote:
> 3. Find and map the PCI I/O memory resource of the controller

Have a look at os/run/pci.run and os/src/test/pci/test.cc to convince
the platform_drv to hand out PCI devices to your driver component.

Happy hacking
-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth