Criticism of Linux rise in prominence of operating system-level virtualization using Linux has raised the profile of attacks against the kernel, and that Linus Torvalds is reticent to add mitigations against kernel-level attacks in official releases. Linux 4.12, released in 2017, enabled KASLR by default, but its effectiveness is debated. Con Kolivas, a former kernel developer, tried to optimize the kernel scheduler for interactive desktop use. He finally dropped the support for his patches due to the lack of appreciation for his development. In the 2007 interview "Why I quit: kernel developer Con Kolivas" he stated: At LinuxCon 2009, Linux creator Linus Torvalds
Security-evaluated operating system in August, 1987. The Unisys OS 2200 operating system includes an implementation of the DoD Orange Book B1, Labeled security protection level specification. OS 2200 first obtained a successful B1 evaluation in September, 1989. Unisys maintained that evaluation until 1994 through the National Computer Security Center Rating Maintenance Phase (RAMP) of the Trusted Product Evaluation Program. Security-evaluated operating system In computing, security-evaluated operating systems have achieved certification from an external security-auditing organization, the most popular evaluations are Common Criteria (CC) and FIPS 140-2. Trusted Solaris 8 was a security-focused version of the Solaris Unix operating system. Aimed primarily at the