Does there exist a certified hardware+software solution for a mixed criticality system, where:
- A generic Linux runs on one of the cores and uses one of the GPUs (hardware accelerated graphics over OpenGL ES), and
- A safety-certified RTOS runs on one of the cores and uses the other GPU (hardware accelerated graphics over OpenGL SC)
on an i.MX8 QuadMax?
Are the "zone of trust"/"resource domain controller" features enough for certification? Does one require further evidence to certify such a system? Is there a pre-certified solution available?