The standalone seL4 kernel ELF does not successfully build for the i.MX8MM-EVK. This is fixed in a later version of seL4. In the interest of having the SDK build, we temporarily disable building the SDK for this platform.
I do not have access to the seL4 repository that the SDK uses and hence cannot fix the source of the issue at this moment.
The standalone seL4 kernel ELF does not successfully build for the i.MX8MM-EVK. This is fixed in a later version of seL4. In the interest of having the SDK build, we temporarily disable building the SDK for this platform.
I do not have access to the seL4 repository that the SDK uses and hence cannot fix the source of the issue at this moment.