Estou trabalhando para obter o Linux normal em um tablet Android x86. Somente o kernel que eu posso encontrar é efilinux.efi localizado no ESP do sistema ( \EFI\Intel\efilinux.efi ). Mas eu não consigo configurar essas três formas:
/proc/config.gz /boot/config-[whatever] scripts/extract-ikconfig da árvore do kernel me dá extract-ikconfig: Cannot find kernel config.
Existem outras maneiras de obter a configuração? Ou simplesmente não há como fazer isso?
Tags linux linux-kernel efi