eCos

nom propre^→ masculin^→.  [système d'exploitation]. Embedded Configurable Operating System. Système d'exploitation temps réel libre, conçu par la société Red Hat pour fonctionner dans moins de 2 Mo de mémoire vive, c'est-à-dire dans des lieux trop exigus pour un Linux normal (systèmes embarqués très légers).

http://ecos.sourceware.org/fom-serv/ecos/cache/1.html