Você receberá automaticamente um kernel armv7hf, se você compilá-lo em uma máquina armv7hf em execução. Experimentar %código% Isto irá dizer-lhe que tipo é o kernel. A coisa do hard-fload (hf) é selecionada em algum lugar na subárvore da "arquitetura de destino", se eu me lembrar disso corretamente.
Além disso, você tem a opção de criar seu próprio conjunto de ferramentas em um host com arquitetura diferente (compilação cruzada) e usar o conjunto de ferramentas para criar um kernel e aplicativos para esse destino.
Quando você quiser usar a opção 2, você pode querer dar uma olhada em "buildroot" ou em outras distribuições incorporadas. Configure seu kernel sob buildroot e construa-o. Certifique-se de selecionar o compilador correto e a arquitetura de destino correta que você deseja usar. Após o processo de compilação, a saída do processo buildroot (sob o diretório output / ou similar) contém o kernel, a ramimmage, além de compiladores e todos os binários para o kernel / abi atualmente criado.
Boa sorte!