Hi Stefan,

Thanks very much for your detailed reply!

You are writing that you use Genode 18.05 nova? The nova kernel does not run on ARM platforms. Certainly, you are using the base-hw kernel?

Sorry, I meant seL4.

The imx6 gpio driver allows to set 7*32=224 pins to be set. It controls 7 dedicated GPIO controllers with 32 pins for each. When you want to address a pin of a controller > 0, you have to add an offset accordingly.

Yes, after I sent my original message I realized the the MAX_PINS variable was per bank and that the pin mapping to jp4 is the same as in linux. I am now able to read and write to the expected pins on jp4 extender.

Next I am going to attempt to get the framebuffer working on the Wandboard Quad by modifying the imx53 framebuffer source code included with genode. So far I have modified:

repos/base/include/drivers/defs/imx6.h

to add the needed IPU_BASE, IPU_SIZE, PWM2_BASE and PWM2_SIZE variables. I see two interesting things when I boot:

* Info: Not using supported FPU as FPU is disabled in the build configuration * [init -> fb_boot_drv] Error: No boot framebuffer information available.

Perhaps if I fix the first issue the information will be provided and the second bullet point will be resolved as well.

I will update the mailing list as I make progress.