seL4 iMX95 support

seL4 kernel
1

Hi,

as part of a few projects I am working on a combination genode + sel4 on various ARM processors.

So far, I got iMX8Mp boards running

  • armstone i.MX8MP (FS-net)
  • Verdin i.MX8MP SOM + Dahlia carreer board (Toradex)

My next step is to look at i.MX95

Looking around: Supported platforms | seL4 docs

I couldn’t find this SoC family, being supported.

Could you let me know if anything was started? (trying to plan ahead)

Thanks!

2

Not that I am aware of. Corte-A55 is already supported by seL4, so adding support for the i.MX95 should be straightforward as far as the seL4 changes themselves are concerned. Bootup and peripheral configuration may be complicated though. The i.MX95 seems like a very strange SoC to me.