Framebuffer in L4Re for Raspberry PI

[Adam Lackorzynski]

On Fri Feb 28, 2014 at 11:30:24 +0100, Peter Hanzel wrote:
> 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?

It's work in progress and it's hopefully available soon.



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/