# # Automatically generated file; DO NOT EDIT. # L4Re Configuration # CONFIG_ARCH_ENABLE_STACK_PROTECTOR=y # CONFIG_BUILD_ARCH_amd64 is not set # CONFIG_BUILD_ARCH_arm is not set CONFIG_BUILD_ARCH_arm64=y # CONFIG_BUILD_ARCH_mips is not set # CONFIG_BUILD_ARCH_ppc32 is not set # CONFIG_BUILD_ARCH_sparc is not set # CONFIG_BUILD_ARCH_x86 is not set CONFIG_BUILD_ARCH="arm64" CONFIG_BUILD_ABI_l4f=y CONFIG_BUILD_ABI="l4f" CONFIG_CPU="armv8a" CONFIG_CPU_ARM_ARMV8A=y # CONFIG_PLATFORM_TYPE_ls1012afrdm is not set # CONFIG_PLATFORM_TYPE_arm_virt is not set # CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set CONFIG_PLATFORM_TYPE_rpi_b=y # CONFIG_PLATFORM_TYPE_rcar3_m3 is not set # CONFIG_PLATFORM_TYPE_zynqmp is not set # CONFIG_PLATFORM_TYPE_custom is not set CONFIG_PLATFORM_TYPE="rpi_b" # CONFIG_USE_DROPS_STDDIR is not set # CONFIG_USE_DICE is not set CONFIG_DROPS_STDDIR="/path/to/l4re" CONFIG_DROPS_INSTDIR="/path/to/l4re" CONFIG_BID_COLORED_PHASES=y # # Building # CONFIG_YACC="yacc" CONFIG_LEX="flex" CONFIG_CTAGS="ctags" CONFIG_ETAGS="etags" CONFIG_HAVE_LDSO=y CONFIG_INT_CPP_NAME_SWITCH=y CONFIG_INT_LD_NAME_SWITCH=y # CONFIG_BID_STRIP_PROGS is not set CONFIG_BID_GCC_OMIT_FP=y CONFIG_BID_GCC_ENABLE_STACK_PROTECTOR=y # CONFIG_BID_GCC_STACK_PROTECTOR_ALL is not set CONFIG_BID_GCC_STACK_PROTECTOR=y # CONFIG_BID_BUILD_DOC is not set # CONFIG_RELEASE_MODE is not set CONFIG_MAKECONFS_ADD=""