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.
Hi,
Genode (http://genode.org) has framebuffer support on the Pi (see release notes: http://genode.org/download/release-archive) If you just want Fiasco+L4Re it should be relatively straight forward to write a driver using the info in the Genode driver.
I've written one for the Freescale i.mx51 and i.mx53 some time ago and the only difficulty there was the highly complex IPU on that chip (in combination with a crappy HDMI chip). The RPi should be a lot easier.
Best regards, Johan
On Fri, 2014-02-28 at 11:30 +0100, Peter Hanzel 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?
Thanks.
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
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
On 28 Feb 2014, at 11:30, Peter Hanzel hanzelpeter@gmail.com 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.
Matthias.
Oki. I will wait for release. Thanks.
On Sat, Mar 1, 2014 at 8:20 PM, Matthias Lange matthias.lange@kernkonzept.com wrote:
On 28 Feb 2014, at 11:30, Peter Hanzel hanzelpeter@gmail.com 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.
Matthias.
l4-hackers@os.inf.tu-dresden.de