Framebuffer in L4Re for Raspberry PI

Peter Hanzel hanzelpeter at
Mon Mar 3 10:05:34 CET 2014

Oki. I will wait for release. Thanks.

On Sat, Mar 1, 2014 at 8:20 PM, Matthias Lange
<matthias.lange at> wrote:
> On 28 Feb 2014, at 11:30, Peter Hanzel <hanzelpeter at> wrote:
>> 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?
> Currently it is work in progress. We have it working internally, but it has not been integrated for release yet.
> Matthias.

More information about the l4-hackers mailing list