diff --git a/repos/base-focnados/config/wand_quad.kernel b/repos/base-focnados/config/wand_quad.kernel new file mode 100644 index 00000000000..b2b9b56add9 --- /dev/null +++ b/repos/base-focnados/config/wand_quad.kernel @@ -0,0 +1,98 @@ +# +# Automatically generated file; DO NOT EDIT. +# Fiasco configuration +# + +# +# Target configuration +# +# CONFIG_IA32 is not set +# CONFIG_AMD64 is not set +CONFIG_ARM=y +# CONFIG_PF_SA1100 is not set +# CONFIG_PF_XSCALE is not set +# CONFIG_PF_ZYNQ is not set +# CONFIG_PF_OMAP is not set +# CONFIG_PF_TEGRA is not set +# CONFIG_PF_INTEGRATOR is not set +# CONFIG_PF_S3C2410 is not set +# CONFIG_PF_KIRKWOOD is not set +# CONFIG_PF_SUNXI is not set +# CONFIG_PF_REALVIEW is not set +# CONFIG_PF_EXYNOS is not set +CONFIG_PF_IMX=y +# CONFIG_PF_BCM2835 is not set +CONFIG_BSP_NAME="imx" +# CONFIG_PF_IMX_21 is not set +# CONFIG_PF_IMX_35 is not set +# CONFIG_PF_IMX_51 is not set +CONFIG_PF_IMX_6=y +CONFIG_PF_IMX_UART_NR_1=y +# CONFIG_PF_IMX_UART_NR_2 is not set +CONFIG_PF_IMX_UART_NR=1 +CONFIG_PF_IMX_RAM_PHYS_BASE=0x10000000 +CONFIG_ABI_VF=y +CONFIG_PF_ARM_MP_CAPABLE=y +CONFIG_CAN_ARM_CPU_CORTEX_A9=y +CONFIG_CAN_ARM_CACHE_L2CXX0=y +CONFIG_ARM_CORTEX_A9=y +# CONFIG_ARM_ALIGNMENT_CHECK is not set +CONFIG_ARM_EM_STD=y +# CONFIG_ARM_EM_NS is not set +# CONFIG_ARM_EM_TZ is not set +# CONFIG_ARM_ENABLE_SWP is not set +CONFIG_ARM_CACHE_L2CXX0=y +CONFIG_FPU=y +CONFIG_ARM_CPU_ERRATA=y + +# +# Kernel options +# +CONFIG_MP=y +CONFIG_MP_MAX_CPUS=4 +# CONFIG_CONTEXT_8K is not set +CONFIG_CONTEXT_4K=y +CONFIG_FINE_GRAINED_CPUTIME=y +# CONFIG_SCHED_FIXED_PRIO is not set +CONFIG_SCHED_FP_EDF=y +# CONFIG_SCHED_EDF is not set +CONFIG_VIRT_OBJ_SPACE=y + +# +# Debugging +# +CONFIG_DEBUG_OUTPUT=y +CONFIG_INLINE=y +# CONFIG_NDEBUG is not set +CONFIG_NO_FRAME_PTR=y +# CONFIG_STACK_DEPTH is not set +# CONFIG_LIST_ALLOC_SANITY is not set +CONFIG_SERIAL=y +CONFIG_JDB=y +# CONFIG_JDB_LOGGING is not set +# CONFIG_JDB_DISASM is not set +# CONFIG_JDB_GZIP is not set +# CONFIG_JDB_ACCOUNTING is not set +# CONFIG_VMEM_ALLOC_TEST is not set +# CONFIG_DEBUG_KERNEL_PAGE_FAULTS is not set +# CONFIG_WARN_NONE is not set +CONFIG_WARN_WARNING=y +# CONFIG_WARN_ANY is not set + +# +# Compiling +# +CONFIG_CC="gcc" +CONFIG_CXX="g++" +CONFIG_HOST_CC="gcc" +CONFIG_HOST_CXX="g++" +# CONFIG_MAINTAINER_MODE is not set +CONFIG_LABEL="" +# CONFIG_EXPERIMENTAL is not set +CONFIG_PERF_CNT=y +CONFIG_BIT32=y +CONFIG_ARM_V7=y +CONFIG_ARM_V6PLUS=y +CONFIG_WARN_LEVEL=1 +CONFIG_XARCH="arm" +CONFIG_ABI="vf" diff --git a/repos/base-focnados/config/wand_quad.user b/repos/base-focnados/config/wand_quad.user new file mode 100644 index 00000000000..38f0eb72e74 --- /dev/null +++ b/repos/base-focnados/config/wand_quad.user @@ -0,0 +1,76 @@ +# +# Automatically generated file; DO NOT EDIT. +# L4Re Configuration +# +# CONFIG_BUILD_ARCH_x86 is not set +# CONFIG_BUILD_ARCH_amd64 is not set +CONFIG_BUILD_ARCH_arm=y +# CONFIG_BUILD_ARCH_ppc32 is not set +# CONFIG_BUILD_ARCH_sparc is not set +CONFIG_BUILD_ARCH="arm" +CONFIG_BUILD_ABI_l4f=y +CONFIG_BUILD_ABI="l4f" +CONFIG_CPU="armv7a" +# CONFIG_CPU_ARM_ARMV4 is not set +# CONFIG_CPU_ARM_ARMV4T is not set +# CONFIG_CPU_ARM_ARMV5 is not set +# CONFIG_CPU_ARM_ARMV5T is not set +# CONFIG_CPU_ARM_ARMV5TE is not set +# CONFIG_CPU_ARM_ARMV6 is not set +# CONFIG_CPU_ARM_ARMV6T2 is not set +# CONFIG_CPU_ARM_ARMV6ZK is not set +CONFIG_CPU_ARM_ARMV7A=y +# CONFIG_CPU_ARM_ARMV7R is not set +CONFIG_CPU_ARMV6KPLUS=y +CONFIG_CPU_ARMV6PLUS=y +CONFIG_PLATFORM_TYPE_wand_quad=y +# CONFIG_PLATFORM_TYPE_exynos4 is not set +# CONFIG_PLATFORM_TYPE_imx6 is not set +# CONFIG_PLATFORM_TYPE_zedboard is not set +# CONFIG_PLATFORM_TYPE_imx35 is not set +# CONFIG_PLATFORM_TYPE_rv_pbx is not set +# CONFIG_PLATFORM_TYPE_rv is not set +# CONFIG_PLATFORM_TYPE_kirkwood is not set +# CONFIG_PLATFORM_TYPE_pandaboard is not set +# CONFIG_PLATFORM_TYPE_tegra3 is not set +# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_cubieboard2 is not set +# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set +# CONFIG_PLATFORM_TYPE_parallella is not set +# CONFIG_PLATFORM_TYPE_rpi_b is not set +# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set +# CONFIG_PLATFORM_TYPE_imx51 is not set +# CONFIG_PLATFORM_TYPE_omap3evm is not set +# CONFIG_PLATFORM_TYPE_exynos5 is not set +# CONFIG_PLATFORM_TYPE_beagleboard is not set +# CONFIG_PLATFORM_TYPE_imx21 is not set +# CONFIG_PLATFORM_TYPE_omap5 is not set +# CONFIG_PLATFORM_TYPE_rv_vexpress is not set +# CONFIG_PLATFORM_TYPE_rpi_a is not set +# CONFIG_PLATFORM_TYPE_integrator is not set +# CONFIG_PLATFORM_TYPE_custom is not set +CONFIG_PLATFORM_TYPE="wand_quad" +# 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 is not set +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="" diff --git a/repos/base-focnados/lib/mk/spec/wand_quad/platform.mk b/repos/base-focnados/lib/mk/spec/wand_quad/platform.mk new file mode 100644 index 00000000000..e0217119d03 --- /dev/null +++ b/repos/base-focnados/lib/mk/spec/wand_quad/platform.mk @@ -0,0 +1,6 @@ +# +# Configuration for L4 build system (for kernel-bindings, sigma0, bootstrap). +# +L4_CONFIG = $(call select_from_repositories,config/wand_quad.user) + +include $(REP_DIR)/lib/mk/spec/arm/platform.inc diff --git a/repos/base-focnados/mk/spec/focnados_wand_quad.mk b/repos/base-focnados/mk/spec/focnados_wand_quad.mk new file mode 100644 index 00000000000..ce4c573f7df --- /dev/null +++ b/repos/base-focnados/mk/spec/focnados_wand_quad.mk @@ -0,0 +1,4 @@ +SPECS += focnados_arm wand_quad + +include $(call select_from_repositories,mk/spec/imx6.mk) +include $(call select_from_repositories,mk/spec/focnados_arm.mk) diff --git a/repos/base-focnados/src/core/spec/wand_quad/target.mk b/repos/base-focnados/src/core/spec/wand_quad/target.mk new file mode 100644 index 00000000000..2f4407ffd4f --- /dev/null +++ b/repos/base-focnados/src/core/spec/wand_quad/target.mk @@ -0,0 +1,4 @@ +LD_TEXT_ADDR = 0x10100000 +REQUIRES += focnados_wand_quad + +include $(REP_DIR)/src/core/spec/arm/target.inc diff --git a/repos/base-focnados/src/kernel/spec/wand_quad/target.mk b/repos/base-focnados/src/kernel/spec/wand_quad/target.mk new file mode 100644 index 00000000000..e9b58c68205 --- /dev/null +++ b/repos/base-focnados/src/kernel/spec/wand_quad/target.mk @@ -0,0 +1,5 @@ +REQUIRES = wand_quad +FIASCO_DIR := $(call select_from_ports,focnados)/src/kernel/foc/kernel/fiasco +KERNEL_CONFIG = $(REP_DIR)/config/wand_quad.kernel + +-include $(PRG_DIR)/../../target.inc diff --git a/tool/builddir/etc/build.conf.focnados_wand_quad b/tool/builddir/etc/build.conf.focnados_wand_quad new file mode 100644 index 00000000000..8a9433344ed --- /dev/null +++ b/tool/builddir/etc/build.conf.focnados_wand_quad @@ -0,0 +1,7 @@ +REPOSITORIES = $(GENODE_DIR)/repos/base-focnados + +## +## Kernel-specific run tool configuration +## + +RUN_OPT = --include boot_dir/focnados diff --git a/tool/create_builddir b/tool/create_builddir index 4eae840f531..e7e997dfd9f 100755 --- a/tool/create_builddir +++ b/tool/create_builddir @@ -54,6 +54,7 @@ usage: @echo " 'focnados_rpi'" @echo " 'focnados_odroid_u3'" @echo " 'focnados_zybo'" + @echo " 'focnados_wand_quad'" @echo " 'sel4_x86_32'" @echo @echo " The definition of BUILD_DIR is optional. If specified," @@ -150,7 +151,7 @@ $(BUILD_DIR)/Makefile: # # Add 'ports-foc' repository to Fiasco.OC build directory # -ifeq ($(filter-out focnados_x86_32 foc_x86_32 foc_imx53 focnados_pbxa9 foc_pbxa9 focnados_panda foc_panda foc_arndale focnados_rpi foc_rpi focnados_odroid_u3 foc_odroid_x2 focnados_zybo,$(PLATFORM)),) +ifeq ($(filter-out focnados_x86_32 foc_x86_32 foc_imx53 focnados_pbxa9 foc_pbxa9 focnados_panda foc_panda foc_arndale focnados_rpi foc_rpi focnados_odroid_u3 foc_odroid_x2 focnados_zybo focnados_wand_quad,$(PLATFORM)),) $(BUILD_DIR)/etc/build.conf:: @cat $(BUILD_CONF).ports-foc >> $@ endif @@ -166,7 +167,7 @@ endif # # Add ARM drivers repositories to ARM build directories # -ifeq ($(filter-out focnados_panda foc_panda foc_arndale hw_panda hw_arndale hw_odroid_xu foc_imx53 focnados_rpi foc_rpi focnados_odroid_u3 foc_odroid_x2 focnados_zybo,$(PLATFORM)),) +ifeq ($(filter-out focnados_panda foc_panda foc_arndale hw_panda hw_arndale hw_odroid_xu foc_imx53 focnados_rpi foc_rpi focnados_odroid_u3 foc_odroid_x2 focnados_zybo focnados_wand_quad,$(PLATFORM)),) $(BUILD_DIR)/etc/build.conf:: @cat $(BUILD_CONF).drivers_arm >> $@ endif @@ -242,6 +243,9 @@ foc_odroid_x2:: focnados_zybo:: @echo "SPECS = genode focnados_zybo" > $(BUILD_DIR)/etc/specs.conf +focnados_wand_quad:: + @echo "SPECS = genode focnados_wand_quad" > $(BUILD_DIR)/etc/specs.conf + # # On all other platforms, the performance counter is assumed to be active by # default. On HW, its activation is done by an optional core lib. To be