Wandboard Quad GPIO mapping

[Edward Sandberg]

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.

-- 
Edward Sandberg
Adventium Labs
111 3rd Avenue S. Suite #100
Minneapolis, MN 55401
ed.sandberg at adventiumlabs.com