Na imagem oficial do Raspbian "wheezy" (15/07/2012) , há três imagens do Kernel: kernel.img (6 MB) kernel_cutdown.img (4 MB) kernel_emergency.img (16 MB) Estou curioso para saber quais são as diferenças técnicas entre elas. Quando pode ser benéfico mudar do padrão