[GSoC] UEFI framebuffer task
Sebastian.Sumpf at ...1...
Tue Mar 28 15:43:48 CEST 2017
On 03/28/2017 10:17 AM, Philipp Kerling wrote:
> Am Samstag, den 25.03.2017, 09:40 +0100 schrieb Sebastian Sumpf:
>> Sounds good, looking forward to your proposal.
> Thanks - I've submitted the draft. I'd be happy to hear any comments or
> suggestions you and the other team members might have.
Okay, I gonna have a look at it tomorrow.
> On another note, the microkernel devroom GSoC page recommends doing a
> small qualification task for the project. Do you have any suggestions
Maybe you could get started by accessing a register of the NVMHCI (like
a version register or similar). For this I would recommend to perform
the following steps:
1. Get Genode master
2. Start QEMU with NVME enabled (I would recommend NOVA as kernel)
3. Find and map the PCI I/O memory resource of the controller
4. Take advantage of Genode's MMIO framework and read a register of your
Please feel free to ask questions,
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
More information about the users