Pour ça il y a SymbianOS 9 S60v3, microkernel temps-réel, justement mis en open-source récement suite à l'apparition d'OpenMoko et d'Androïd

Kochise