Hi Parvaneh,
By calling "gpio_init_pin(ALARM_PIN= 28, 0);" I am getting this error: Assertion failed: bank->data == v (PATH/projects/util_libs/libplatsupport/src/plat/imx6/gpio.c: imx6_gpio_write: 144) How can I fix this error? How should I specify the GPIO pins?
The assertion is located inside the function which writes out to GPIO pins and it checks if it correctly writes out a value. From what you have provided, I'm guessing that you have problems writing to ALARM_PIN or pin 28. However, it seems that you are initialising the GPIO pin to be an input pin and not an output pin. The 'gpio_init_pin' call should take '1' as the second argument which corresponds to 'GPIO_DIR_OUT_DEFAULT_LOW/GPIO_DIR_OUT' in the 'gpio_dir' enum in the gpio.h header in libplatsupport [1].
Sincerely, Damon
[1] https://github.com/seL4/util_libs/blob/master/libplatsupport/arch_include/ar...
P.S. I think your checkout of the 'util_libs' repository is old. The 'gpio_write' functions have been replaced by the 'gpio_set' and 'gpio_clear' functions. The pin chaining functionality also got moved into a different header file here: https://github.com/seL4/util_libs/blob/master/libplatsupport/arch_include/ar...