A 32-bit operating system for ARMv7 CPU's.