Hi Genode communityI'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"
<<attachment: rmillo.vcf>>
------------------------------------------------------------------------------ Mobile security can be enabling, not merely restricting. Employees who bring their own devices (BYOD) to work are irked by the imposition of MDM restrictions. Mobile Device Manager Plus allows you to control only the apps on BYO-devices by containerizing them, leaving personal data untouched! https://ad.doubleclick.net/ddm/clk/304595813;131938128;j
_______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
