Re: [seL4] docker compatible? (was Re: MySQL - seL4)

Ouch, and double ouch! Unsubscribe.. On Mar 6, 2015 9:16 AM, "Christian Stroetmann" wrote:

On 06.March.2015 17:57, Tim Newsham wrote:

Tim, hopefully I do not have to understand your email as the beginning of the bashing.

So making it clear, I have not said that it is already patented. I said that some features "may be inventions and hence are covered by the United States [Patent Law]", and that they are in the patenting phase. Before you can be smart and find it under my name or a name of another entity you have to wait some time around 18 to 24 months.

Please, read my information carefully and then ask a lawyer what this means.

Regards Christian Stroetmann

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 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel