Integrity is a real-time operating system (RTOS) manufactured and marketed by Green Hills Software. It is build atop the velOSity microkernel and is intended mainly for modern 32- or 64-bit embedded system designs that support MMU. Supported platforms include different variants of ARM, PowerPC, MIPS, Intel x86, and XScale computer architectures.