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.