Re: [seL4] MySQL - seL4

...

...

...

...

"André" == André Bispo 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.