Framebuffer in L4Re for Raspberry PI

[Peter Hanzel]

 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.