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
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