I'm getting
arch/arm/kernel/efi_phys.S: Assembler messages: arch/arm/kernel/efi_phys.S:42: Error: selected processor does not support ARM mode `isb' arch/arm/kernel/efi_phys.S:50: Error: selected processor does not support ARM mode `isb' make[1]: *** [arch/arm/kernel/efi_phys.o] Error 1
when compiling the topic-leg-uefi kernel [1] with EFI_STUB support for omap2plus_defconfig (to run on a BeagleBone Black with AM335x SoC). I've checked that armv7 supports `isb`, and I've tried the kernel.org 4.6.3-nolibc toolchain [2] and the Linaro gcc-arm-none-eabi-4.8 release. The build goes fine without EFI support. I need some help figuring out what's wrong.
[1] https://git.linaro.org/people/leif.lindholm/linux.git/shortlog/refs/heads/to... [2] https://www.kernel.org/pub/tools/crosstool/files/bin/x86_64/4.6.3/
Thanks, Varad