On 06.March.2015 05:39, Raoul Duke wrote:
wouldn't provide you much. What sel4 could buy you is isolation between mysql and other applications if you chose to run several processes on the same machine. The processes themselves, including mysql, would still be vulnerable to any internal vulnerabilities they might have (sel4 is not a magic bullet). There's a lot of noise around Docker. I find it annoying for many reasons, including security -- although I do understand some of the attraction. It would be super keen in my mind if seL4 could offer something in that vein, could present itself as a nice alternative.
Hello I only waited for these steps, so I simply quote the related informations: "Please, bear in mind that some features of OntoLix and OntoLinux may be inventions and hence are covered by the United States Code Title 35 - Patents. For example, applying of (object-)capability based security for a complete software stack consisting of an operating system kernel layer with a microkernel or a hybrid kernel and an application layer, and for a container of a (union mount based) software deployment system should be considered as having the status of inventions that are protected under patent laws." And before the usual bashing begins I would like to add that it is only in the patending phase, because I am annoyed of the situation that nobody in the open source and scientifc communities wants to reference the original sources correctly since more than 8 years now. Regards Christian Stroetmann