On Sun, Jul 28, 2024, at 22:29, Rong Xu wrote: > Documentation/dev-tools/index.rst | 1 + > Documentation/dev-tools/propeller.rst | 188 ++++++++++++++++++++++++++ > MAINTAINERS | 7 + > Makefile | 1 + > arch/Kconfig | 22 +++ > arch/x86/Kconfig | 1 + > arch/x86/boot/compressed/Makefile | 3 + > arch/x86/kernel/vmlinux.lds.S | 4 + > arch/x86/platform/efi/Makefile | 1 + > drivers/firmware/efi/libstub/Makefile | 2 + > include/asm-generic/vmlinux.lds.h | 8 +- > scripts/Makefile.lib | 10 ++ > scripts/Makefile.propeller | 25 ++++ > tools/objtool/check.c | 1 + I have not looked in much detail, but I see that you need a special case for arch/x86/boot/compressed and drivers/firmware/efi, which makes it likely that you need to also disable properller support for arch/x86/purgatory/Makefile, which tends to have similar requirements. Arnd