l4-hackers

Download

l4-hackers@os.inf.tu-dresden.de

March 2014

22 participants
31 discussions

Framebuffer in L4Re for Raspberry PI
by Peter Hanzel 03 Mar '14

03 Mar '14

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.

4 4