Re: [seL4] IOMUX on iMX6 conflict with libethdrivers

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