The engineering behind Artemis and SLS is a masterclass in safety-critical design. The quad redundant Primary runs on
on a quadruple config PPC-750 CPU with the Green Hills Integrity OS and ARINC653 framework
While the Back up is on a LEON 3 (SPARKV8) CPU using the VxWorks and NASA's CFS framework. (https://github.com/nasa/cFS)
NASA actually makes all this publicly available information available on their NTRS server.