search

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

examples/blk: Add a imx8mm_evk system to the example #201

Closed midnightveil closed 1 month ago

midnightveil commented 1 month ago

I tested that the basic MMC example works on the iMX8 Mini EVK, and it does, so might as well include the system file.

Ivan-Velickovic commented 1 month ago

We have limited i.MX8MM-EVK boards in the CI and given that it's the same SoC as the MaaXBoard I'm not sure whether it's worth adding it to CI.

Ivan-Velickovic commented 1 month ago

Hmm, we can always remove it if it becomes annoying.