SYSGO PikeOS ELinOS Multiple Independent Levels of Security Lazy FP state restore V850 Formal verification I.MX DDC-I PowerPC Spectre (security vulnerability) Thales Group Computer security Comparison of Linux distributions List of operating systems Comparison of platform virtualization software List of Linux distributions