I project to create a secure version of Linux has been undertaken by a group in the Netherlands. I suppose they’re working something that’s basically analagous to OpenBSD, a derivative of the operating system that will be written with security as the foremost concern. I don’t see how they can truly commit to this unless they’re willing to fork the Linux kernel. Maybe they’re just interested in securing the stuff on top of the kernel and contributing to kernel security within the context of other new work. I also wonder how this meshes with the Linux Security Audit Project.