seL4 and mysql

André Bispo andrefsbispo at
Thu Mar 5 15:45:13 CET 2015

Hello guys,
I'm a student and i'm looking at the possibility of using an L4 microkernel in my thesis, my goal is to take advantage of isolation mechanism to in order to increase privacy in databases. But i have a couple of questions. 

1) How feasible is the idea of having a MySQL database with a libOS running on top of seL4 microkernel?  If it can be done, where should i start? Any tutorial?

2) if seL4 does not allow me to do it, is there another microkernel in the family of L4 better suited for this task?

Thank you in advance. 

Best regards,
Andre Bispo.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list