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"

[Stefan Kalkowski]

Hello Reinier,

Post by 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?

Not that I know of anybody, but it would be definitely great when you do
so :-).

Post by Reinier Millo Sánchez
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.

I'm afraid there is no option right now to easily develop the driver on
top of Linux and then to switch to a different kernel. In contrast to
"normal" components that do not touch hardware resources directly, the
device drivers have to access memory mapped I/O registers, and need to
be informed and acknowledge interrupts. There is no concept right now to
have these resources available in Genode running on top of Linux.
Although it would be interesting to follow that path, e.g., one could
mmap the relevant MMIO regions using '/dev/kmem'. Anyway, currently
there is no support for this. So you will have to develop natively on
one of the microkernels like Fiasco.OC, or our own HW kernel.

Regards
Stefan

Post by Reinier Millo Sánchez
Best regards
------------------------------------------------------------------------------
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
https://lists.sourceforge.net/lists/listinfo/genode-main