Re: Framebuffer in L4Re for Raspberry PI

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

-- 

PGP Public Key: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x08EDE1CD977FD2AB

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)

iQIcBAABAgAGBQJTEJ2LAAoJEAjt4c2Xf9KrbpkP/jY7bySg8qOBwz731o+I0qHH
1nq3KGMX3cVeLJ9IC1YTjov3PNcmBWUK8UFQR5vs6xTHp9IkQ7pWaohGFUBIxI5h
s2qzgZnVj1Qa4vtteWG/IiLnSdNWT2uq1CWj2r9855mXKX7vzw66ohwgEcHbrIXA
Ae3k2TF22EpWCqsrQ6SzSR0jLdf3bg1NDOLnbHyI77PnNnUPxOITTUDHvGomr4Dc
wYrX9qtVkcPiENrzBf75kQrTQFguIs+XYA02PTcBkJfFFOMPk+OIu7zM+EoFnL/7
0U8wJkO/7/n22jJr1SwL/fhj29PPE45EqpKEzwZbscsMPyn4ZgQ1v0KnCwKLhP4o
VFAZQnrvhTecKEOBQDYnE8+4h4lWKD/unkL703b/g8jZvgtxzb7Ho2wdExL6BoEH
fcER+Iw494xpgJVxjNcK3xJebJpgGoOWjAoufovx8Se8BQxm+TAM5VKrmLOpysNy
erurk3GN9enCOpFGD2uAX3TY2LvmHePqkJAIbP3sEyLX87ELBRhwpucbr41FkZSv
xwmO3KizX3zV8iNB9c3uiLA4FsPF5I5d1LqJTFe6UhfjefHXiHxSAGKcisI+j+WE
F3pzf18bCQ26UbZfvHi43UJaYSkM5LwKVcKlrp+iN5frIzrajRu2Z8DabjYScMPV
eNjlQPkEid3h5VE03/t1
=n9PK
-----END PGP SIGNATURE-----