Framebuffer in L4Re for Raspberry PI

Matthias Lange matthias.lange at
Sat Mar 1 20:20:27 CET 2014

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.


More information about the l4-hackers mailing list