@estherschindler I worked on the MIPS, PowerPC, and ARM architecture layers and BSPs for #VxWorks at #WindRiverSystems back from 1999‐2004, and then moved on to their embedded Linux kernel and BSPs, so if it is a general question, I might be able to help a little.... haven't kept up with it since then though.