Para comenzar a colaborar con otros, hemos abierto varios componentes para nuestro sistema operativo seguro, llamado KataOS, en GitHub, y también nos hemos asociado con Antmicro en su simulador Renode y marcos relacionados. Como base para este nuevo sistema operativo, elegimos seL4 como el microkernel porque pone la seguridad al frente y al centro; está matemáticamente probado como seguro, con confidencialidad, integridad y disponibilidad garantizadas.

Llegó primero Sandra Sánchez y luego vino Damián Quintero (con la medalla de plata lograda este viernes) para que el aficionado al deporte descubriera que España es una potencia mundial, sobre todo en las katas donde se lucha, sin contacto físico, con un rival imaginario. Un karate español que no ha querido desaprovechar la única cita olímpica de este deporte para llevarse dos medallas y enseñar a dos prodigios, dos karatecas impresionantes.

El concejal de Podemos en Marbella José Carlos ‘Kata’ Núnez intervino en el Pleno sobre el Estado del Municipio en ¡¡¡bermudas y chanclas!!! ‘Kata’ Núñez es uno de los dos ediles de Podemos en el Ayuntamiento de Marbella y fue el candidato del partido a la Alcaldía en las elecciones municipales de 2015.