About GPU support on ARM platforms

[Reinier Millo Sánchez]

Hi Genode community

I'm working with Exynos4 and RPi, both ARM platforms. I'm interested to 
use the GPU on both platforms to enconde/decode video.
Is somebody working on ARM GPU drivers, or have worked on it?

I'm using basically FiascoOC as microkernel, but if i use Linux as base 
kernel, how i can use the linux device driver through GenodeOS?
So that the applications developed have a minimum kernel dependencies, 
allowing later the replacement of the linux kernel by FiascoOC 
microkernel, when the device driver is implemented.

Best regards

-- 
Lic. Reinier Millo Sánchez
Centro de Estudios de Informática
Universidad Central "Marta Abreu" de Las Villas
Carretera a Camajuaní Km 5 1/2
Santa Clara, Villa Clara, Cuba
CP 54830

"antes de discutir ... respira;
   antes de hablar ... escucha;
  antes de escribir ... piensa;
   antes de herir ... siente;
  antes de rendirte ... intenta;
   antes de morir ... vive"

-------------- next part --------------
A non-text attachment was scrubbed...
Name: rmillo.vcf
Type: text/x-vcard
Size: 494 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20160519/bd4cbf12/attachment.vcf>