Advanced RTOS, embedded real-time OS, compact OS, IDE, Software development toolkits, embedded c compilers, Multicore debugger, hardware probes, static source code analysis tool, secure hypervisor, virtual prototyping platform

Linux in Defense
White Papers  
Part I- FAA Safety-critical Certified Operating Systems Deliver The Reliability and Security Required by Defense Systems; Linux Does Not

Part II - "Many Eyes" - No Assurance Against Many Spies

Part III - Linux Security: Unfit for Retrofit

Part IV - Linux in Defense: Free Software is Just Too Expensive

Part V - Linux in Defense: An Urgent Threat to National Security

 
Articles  
EE Times - Linux: unfit for national security?

Federal Computer Week
- The Outsourcing Hole

COTS Journal
- Linux for Embedded Systems?

Q & A - Green Hills Software and Embedded Linux

EE Times - The myth of the embedded Linux tools market

Benchmark results - Green Hills Optimizing Compilers Shrink Linux, Outperform GNU

EE Times - A Linux Reality Check: Embedded Systems Aren't Desktop Systems

 
Press Releases  
Aug 2 - Green Hills Software’s INTEGRITY Operating System First to Be Certified Under the IEEE and The Open Group POSIX® Certification Program

Apr 19 - Green Hills Software CEO Responds to Linux Security Controversy

Apr 8 - Using Linux Software in Defense Systems Violates Every Principle of Security Says Green Hills Software's CEO and Founder

Feb 2 - Green Hills Software's INTEGRITY RTOS Begins POSIX Conformance Certification