Green Hills Software bietet die Version 5.0 seines velOSity Microkernel und seines Echtzeitbetriebssystems Integrity vor. Die Erweiterungen versprechen Verbesserungen für Automotive-, Ressourcen-beschränkte und Multiprocessing-Applikationen sowie eine einfachere Portierung bereits vorhandener Kernel. Integrity 5.0 wurde im Rahmen des „POSIX: Certified by IEEE and The Open Group“-Programms für den „1003.1-2003 System Interfaces Product Standard“ zertifiziert. Sowohl velOSity als auch Integrity 5.0 sind für ARM-, ColdFire-, MIPS-, PowerPC-, StrongARM-, x86/Pentium- und XScale-Prozessoren verfügbar. Für Blackfin-Prozessoren ist velOSity 5.0 ab sofort verfügbar. Die Entwicklungsarbeit wird von Windows-, Linux-, Solaris- and HP-UX-Host-Systemen unterstützt.