Kofi,
I have added one more fix to that PR. It's related to an issue with the UART1 of the IMX6 that does not receive data by default because the internal MUX does not route the signal from the outside pin to the UART1 RX.
Check the changeset in that PR and let me know if there are any problems (as I have added one more functionality to the imx6_mux_feature_enable function).

Regards,
Fabrizio

On Thu, Jul 5, 2018 at 8:35 PM <Kofidoku.Atuah@data61.csiro.au> wrote:
​Thanks, Fabrizio,

Appreciate your understanding and I'll look into the PR :)

-- 
Kofi Doku Atuah
Kernel engineer
DATA61 | CSIRO

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel