Framebuffer in L4Re for Raspberry PI

[Johan Dams]

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 at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

-- 

PGP Public Key: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x08EDE1CD977FD2AB
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: This is a digitally signed message part
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140228/1d6065bb/attachment.asc>