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 [email protected] _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
