Add Wandboard support to Focnados/Genode 16.08

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"

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=""

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

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)

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

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

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

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