Integrity (operating system)
Kernel type | Microkernel |
---|---|
Userland | POSIX |
License | Proprietary |
Official website | www |
INTEGRITY and INTEGRITY-178B are real-time operating systems (RTOSes) produced and marketed by Green Hills Software.
INTEGRITY
INTEGRITY is
INTEGRITY-178B
INTEGRITY-178B is the
The auditing and security engineering abilities have allowed it to obtain the Evaluation Assurance Level (EAL) 6 rating by the National Security Agency (NSA).[3] The Target of Evaluation (TOE) Architecture in the Security Target for the evaluation excludes components such as those for file system and networking, from the definition of the TOE, focusing almost solely on the core kernel.[4] Other operating systems, such as Windows, macOS or Linux, though evaluated at lower levels of assurance, generally include these abilities within their TOE.
Supported processor architectures
The INTEGRITY Architecture Support Package (ASP) provides support for many processor families:
References
- ^ "i.MX6 CAAM with Integrity OS - wolfSSL". 2018-10-26. Retrieved 2019-02-14.
- ^ "Board or bored? Lockheed Martin gets into the COTS hardware biz". VITA Technologies Magazine. December 10, 2010. Archived from the original on 2 May 2012. Retrieved 9 March 2012.
- ^ a b Kelly Jackson Higgins (2008-11-18). "Secure OS Gets Highest NSA Rating, Goes Commercial". Dark Reading. Archived from the original on 2013-12-03. Retrieved 2013-12-01.
- ^ "Integrity-178B Separation Kernel Security Target" (PDF). SAIC. 2011-01-31. Retrieved 2011-03-22.
External links
- Official website
- Official website INTEGRITY-178B