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(a)adventiumlabs.com