Hello Reinier,

On 05/19/2016 10:09 PM, Reinier Millo Sánchez wrote:

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 :-).

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

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 genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main