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