Hi Christian, A patent search at uspto.com with your name turned up nothing. Which patent numbers are you referencing?
On Thu, Mar 5, 2015 at 10:49 PM, Christian Stroetmann <[email protected]> wrote: > 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 > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
