It looks like you are trying to perform an in tree 'make' build directly in a seL4
kernel checkout. This is not a recommended way to build the kernel in general, and is only
meant to be used for some very specific configurations right now. Standalone kernel
compilation support is being improved with a new cmake based build system that you can see
evidence of in the repository, but it is not documented and ready for general use yet.
For now it is recommended you build the kernel as part of a larger project that supports
the common out of tree build system from seL4_tools. You can do this by following the
Getting Started (https://wiki.sel4.systems/Getting%20started
) page, which will instruct
you how to build sel4test, and in the process the kernel.
On Tue 26-Sep-2017 8:38 PM, ashokk(a)spanidea.com wrote:
> I am trying to cross-compile sel4 for rasperry-pi-3.
> i am executing following command on sel4 kernel source to cross-compile.
> TOOLPREFIX=arm-linux-gnueabi- ARCH=arm PLAT=bcm2837 ARMV=armv8-a CPU=cortex-a53
> i am getting following error while doing make
> [BF_GEN] arch/object/structures_gen.h
> [BF_GEN] plat/machine/hardware_gen.h
> [BF_GEN] 32/mode/api/shared_types_gen.h
> [CPP] src/arch/arm/armv/armv8-a/32/machine_asm.s_pp
> In file included from src/arch/arm/armv/armv8-a/32/machine_asm.S:11:0:
> ./include/config.h:17:22: fatal error: autoconf.h: No such file or directory
> compilation terminated.
> make: *** [src/arch/arm/armv/armv8-a/32/machine_asm.s_pp] Error 1
> rm 32/mode/api/shared_types_gen.h plat/machine/hardware_gen.h
> is there any solution for this...
> Devel mailing list