DeveLinux es una distribución GNU/Linux basada en Debian 4.0 "Etch" (cuando aún se encontraba en la rama "testing") distribuida en formato LiveCD.