-
O vmlinux é um arquivo ELF não é um binário.
-
a compilação do kernel pode criar o zImage, que é um arquivo binário. Você pode encontrar em
$kernel/arch/arm/boot/zImage
no caso de ARM. Tenha em mente que zImage é um arquivo binário compactado com zip e um cabeçalho é anexado no topo do zImage. Com este cabeçalho, o zImage pode descomprimir em si.
Para executar o zImage, você precisa mover o pc (contador de programa) para o primeiro ponto do zImage.