Hi Ashok, 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. Adrian On Tue 26-Sep-2017 8:38 PM, ashokk@spanidea.com wrote:

Hi 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 arch/object/structures_gen.h is there any solution for this... RegardsAshok

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel