Green Hills Software is the technology leader in device software optimization (DSO) and real-time operating systems (RTOS) for 32- and 64-bit embedded systems. Our royalty-free secure and reliable INTEGRITY RTOS, velOSity real-time operating systems, micro-velOSity microkernel, optimizing embedded fast c compilers, compilers with smallest memory size, advanced source-level embedded debuggers, MULTI and AdaMULTI integrated development environments (IDE), DoubleCheck
integrated static source code analyzer, secure wireless platform, multicore development, INTEGRITY PC multi-level secure desktop OS, Padded Cell VT technology (virtualization technology), EAL6+ safety level hypervisor, and TimeMachine, the fastest embedded debug tool suite all offer a complete development solution tools that addresses both embedded and high-reliability, security applications.