Normalmente, no dispositivo incorporado, há várias opções. Se você já vê um kernel 2.6.35 com um slot micro SD vazio, isso pode significar que o sistema está armazenado em alguma memória flash na placa.
Normalmente o bootloader é configurado para encontrar o sistema em suporte diferente, então eu acho que a maneira mais fácil de usar o debian é comprar um cartão SD, gravar uma imagem debian dedicada à sua placa e conectá-lo no SLOT micro-sd.
Reinicialize a placa e o bootloader detectará o debian no micro SD e o inicializa. Qual é o nome do conselho? procure por uma imagem debian para fazer o download dela.
Outra opção é encontrar uma imagem debian para sua placa pequena o suficiente para caber na sua memória flash e geralmente usando USB você pode gravá-la diretamente na memória flash.
A última opção é configurar um ambiente de compilação cruzada completo em seu computador de mesa e, em seguida, criar sua própria imagem do Debian. Você deve olhar sobre bootstrap debian e cross compilation para isso, e é claro, na especificação técnica de sua placa, especialmente no processo de bootloader.