@santiago Te iba a decir que Ceibal tiene repos con bastantes cosas relacionadas a las ceibalitas pero acabo de entrar y la última actualización es de 2016 🙈
Tengo una alumna que quiere instalar virtualbox en una Ceibalita de profesores, y el kernel que tiene instalado es un linux-image-5.5.19.bp0 del cual no hay headers en los repositorios de ceibal. La laptop corre Ubuntu 20.04 y no existe tal kernel en esa versión de Ubuntu, se ve que los capos de Ceibal le metieron un kernel custom, ahora, sin headers, son unos fenómenos. Cuando tratas de instalar un kernel común de Ubuntu 20.04 de los repositorios y rebutear, la máquina te tira a un {initramfs}. Es joda? No hay nadie de Ceibal que me pueda pasar el linux-headers-5.5.19-generic? Un desastre todo #uruguay#ceibal#ubuntu#linux#gnu#kernel#header#virtualbox