Add Pinmux driver for imx8mq

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.

Other

17 stars 14 forks source link

Closed dreamliner787-9 closed 1 month ago

dreamliner787-9 commented 1 month ago

Draft, do not merge.

Ivan-Velickovic commented 1 month ago

Is this near completion?

dreamliner787-9 commented 1 month ago

Is this near completion?

The static part yes. I'm doing more testing and writing a Makefile today.

Ivan-Velickovic commented 1 month ago

The static part yes

What do you mean by that? The driver?