[nickpsecurity]

PowerPC is dead for the larger market but sticks around in specialty markets. Mainly NXP (formerly Freescale):

https://www.nxp.com/products/processors-and-microcontrollers...

Also, the separation kernels that met NSA's highest standards of security initially targeted that for cross-selling into aerospace market. They buy a good chunk of PPC for some reason. Example that was among first certified with data on what was expected:

https://www.ghs.com/products/safety_critical/integrity-do-17...