Re: Framebuffer in L4Re for Raspberry PI
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/