Hello guys,Do you think it is feasible to have MySQL running on top of seL4 and take advantage of the isolation mechanisms?I was looking into the microkernel, the CamKES project and the mailinglist, to find some answers but i think it would be very difficult, if not impossible to run MySQL on seL4.I'm trying to explore this possibility and i want to know your opinion before continue. Best regards,André Bispo.
"André" == André Bispo <andrefsbispo@hotmail.com> writes:
André> Hello guys,Do you think it is feasible to André> have MySQL running on top of seL4 and take advantage of the André> isolation mechanisms?I was looking into the microkernel, the André> CamKES project and the mailinglist, to find some answers but i André> think it would be very difficult, if not impossible to run André> MySQL on seL4.I'm trying to explore this possibility and i want André> to know your opinion before continue. I think that'd it'd be quite difficult to run mysql as-is to run natively on seL4, because much of the infrastructure that mysql relies on hasn't yet been implemented. What you could do is run mysql in one Linux instance, and use another for disk, as was done in RapiLog (see http://ssrg.nicta.com.au/publications/nictaabstracts/Heiser_SDBSA_13.abstrac... ) Peter C -- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
If you were able to run mysql on sel4, by itself, it 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). Tim On Thu, Mar 5, 2015 at 12:52 AM, André Bispo <andrefsbispo@hotmail.com> wrote:
Hello guys, Do you think it is feasible to have MySQL running on top of seL4 and take advantage of the isolation mechanisms? I was looking into the microkernel, the CamKES project and the mailinglist, to find some answers but i think it would be very difficult, if not impossible to run MySQL on seL4. I'm trying to explore this possibility and i want to know your opinion before continue.
Best regards, André Bispo.
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
participants (3)
-
André Bispo -
Peter Chubb -
Tim Newsham