M2OS es un pequeño sistema operativo en tiempo real que permite ejecutar aplicaciones multitarea en pequeños microcontroladores con escasos recursos de memoria, ya que implementa un planificador de procesos que usa muy poca memoria. Este sistema operativo se desarrolla en la Universidad de Cantabria y está escrito en Ada, integrándose a la perfección con el IDE GNAT Programming Studio (GPS). Las placas soportadas hasta el momento son Arduino Uno, Epiphany y STM32F4.
Comentarios
ADA/Gnat... Eso va a limitar bastante su uso solo por la licencia
#1 No entiendo por qué. GNAT es el compilador de Ada de GCC y su licencia es GPL.
#2 La librería estándard de GCC es GPL pero permite ser usada por código no-GPL. GNAT no, esta obliga a pasar por caja (y bastante caro) si quieres hacer algo que no sea GPL. No puedes en la práctica hacer nada ya no sólo "no libre" si no directamente estás obligado a GPL o gastar miles de €, sin término medio.
#3 Muy interesante, pero me parece tan raro que he decidido buscar información relacionada, y he encontrado esto:
https://www.reddit.com/r/ada/comments/3989f4/gnat_gpl_restrictions/cs19j5k/
Ese sería el "término medio", pero tienes que esperar a que la FSF saque su versión porque la situación se parece bastante a lo que sucedía con Ghostscript (la versión más avanzada tenía una licencia más restrictiva que la que sacaban un año después con la misma base de código).
Más sobre el asunto:
https://news.ycombinator.com/item?id=16668831