Nachos est un logiciel pédagogique conçu pour enseigner les systèmes d'exploitation aux étudiants de niveau licence et master. Il propose un simulateur de machine générique, des exemples de code de base pour un système d'exploitation fonctionnel, et des exercices couvrant des sujets comme la gestion des threads, la mémoire virtuelle, les appels système, les protocoles réseau et les systèmes distribués. Utilisé dans les universités, il permet aux étudiants de manipuler concrètement les concepts théoriques tout en explorant les architectures matérielles et logicielles.