ARM architecture
The 32-bit ARM architecture is supported by a large number of embedded and real-time operating systems, including: