Framebuffer in L4Re for Raspberry PI

Peter Hanzel <[email protected]> Fri, 28 Feb 2014 11:30:24 +0100

Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<CAD=tUvwca14e7djz3_eZf29mR4fB_fZDzLDS=7jgDeibDkkPGg@mail.gmail.com>

 Hello.

I have compiled Fiasco.OC and L4Re for Raspberry PI.
It boots ok with UART output.
Now I want to add framebuffer device and output to monitor.

Is this a work in progress or is it already implemented? or to be implemented?

Thanks.

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.