base-foc: recipes for ARMv7a platforms

* In base-foc/recipes/src/ replace base-foc with base-foc-pc
* To base-foc/recipes/src add base-foc-arndale, base-foc-pbxa9
* Ensure that the correct base-foc recipe is choosen by the run module
  'boot_dir/foc'

repos/base-foc/recipes/src/base-foc-arndale/base-foc-pbxa9/README

@@ -0,0 +1,7 @@
+This archive contains the Fiasco.OC-specific part of Genode.
+
+It also contains the source code of the Fiasco.OC kernel in the
+'src/kernel/foc' directory.
+
+Please note that Fiasco.OC has a license distinct from Genode. Fiasco.OC's
+license can be found at 'src/kernel/foc/COPYING-GPL-2'.

repos/base-foc/recipes/src/base-foc-arndale/base-foc-pbxa9/content.mk

@@ -0,0 +1,7 @@
+RECIPE_DIR := $(REP_DIR)/recipes/src/base-foc-pbxa9
+
+include $(GENODE_DIR)/repos/base-foc/recipes/src/base-foc_content.inc
+
+content: enable_board_spec
+enable_board_spec: etc/specs.conf
+	echo "SPECS += pbxa9" >> etc/specs.conf

repos/base-foc/recipes/src/base-foc-arndale/base-foc-pbxa9/hash

@@ -0,0 +1 @@
+2018-11-06-b 778d83a4be78dcd6d1e4d45f1ca103def7b298a5

repos/base-foc/recipes/src/base-foc-arndale/content.mk

@@ -0,0 +1,7 @@
+RECIPE_DIR := $(REP_DIR)/recipes/src/base-foc-arndale
+
+include $(GENODE_DIR)/repos/base-foc/recipes/src/base-foc_content.inc
+
+content: enable_board_spec
+enable_board_spec: etc/specs.conf
+	echo "SPECS += arndale" >> etc/specs.conf

repos/base-foc/recipes/src/base-foc-arndale/hash

@@ -0,0 +1 @@
+2018-11-06-c 9c3d5c2a4be6f1da2b8e76c2bb212959200119d8

repos/base-foc/recipes/src/base-foc-arndale/used_apis

@@ -0,0 +1 @@
+base

repos/base-foc/recipes/src/base-foc-pbxa9/README

@@ -0,0 +1,7 @@
+This archive contains the Fiasco.OC-specific part of Genode.
+
+It also contains the source code of the Fiasco.OC kernel in the
+'src/kernel/foc' directory.
+
+Please note that Fiasco.OC has a license distinct from Genode. Fiasco.OC's
+license can be found at 'src/kernel/foc/COPYING-GPL-2'.

repos/base-foc/recipes/src/base-foc-pbxa9/content.mk

@@ -0,0 +1,7 @@
+RECIPE_DIR := $(REP_DIR)/recipes/src/base-foc-pbxa9
+
+include $(GENODE_DIR)/repos/base-foc/recipes/src/base-foc_content.inc
+
+content: enable_board_spec
+enable_board_spec: etc/specs.conf
+	echo "SPECS += pbxa9" >> etc/specs.conf

repos/base-foc/recipes/src/base-foc-pbxa9/hash

@@ -0,0 +1 @@
+2018-11-06-b 778d83a4be78dcd6d1e4d45f1ca103def7b298a5

repos/base-foc/recipes/src/base-foc-pbxa9/used_apis

@@ -0,0 +1 @@
+base

repos/base-foc/recipes/src/base-foc-pc/README

@@ -0,0 +1,7 @@
+This archive contains the Fiasco.OC-specific part of Genode.
+
+It also contains the source code of the Fiasco.OC kernel in the
+'src/kernel/foc' directory.
+
+Please note that Fiasco.OC has a license distinct from Genode. Fiasco.OC's
+license can be found at 'src/kernel/foc/COPYING-GPL-2'.

repos/base-foc/recipes/src/base-foc-pc/content.mk

@@ -0,0 +1,3 @@
+RECIPE_DIR := $(REP_DIR)/recipes/src/base-foc-pc
+
+include $(GENODE_DIR)/repos/base-foc/recipes/src/base-foc_content.inc

repos/base-foc/recipes/src/base-foc-pc/hash

@@ -0,0 +1 @@
+2018-11-06-j f0d5882cc063d09f7653d785dc768c1c022628c9

repos/base-foc/recipes/src/base-foc-pc/used_apis

@@ -0,0 +1 @@
+base

repos/base-foc/recipes/src/base-foc/hash

@@ -1 +0,0 @@
-2018-10-28 6ebb0b309d21f4ae6b3d267fd03c86f18aa616c2

repos/base-foc/recipes/src/base-foc_content.inc

@@ -24,7 +24,7 @@ include/spec/%/trace/timestamp.h:
 
 content: README
 README:
-	cp $(REP_DIR)/recipes/src/base-foc/README $@
+	cp $(RECIPE_DIR)/README $@
 
 content: lib/import config etc
 lib/import config etc:

repos/base/recipes/src/base_content.inc

@@ -17,7 +17,7 @@ content: etc/specs.conf
 etc/specs.conf:
 	$(mirror_from_rep_dir)
 
-MIRRORED_FROM_OS := $(addprefix lib/mk/,timeout.mk alarm.mk timed_semaphore.mk)\
+MIRRORED_FROM_OS := $(addprefix lib/mk/,timeout.mk timeout-arm.mk alarm.mk timed_semaphore.mk)\
                     $(addprefix src/lib/,timeout alarm timed_semaphore) \
                     $(addprefix include/os/,alarm.h duration.h timed_semaphore.h) \
                     include/timer/timeout.h \

tool/run/boot_dir/foc

@@ -219,7 +219,9 @@ proc run_boot_dir {binaries} {
 #
 proc base_src { } {
 
-	if {[have_spec x86]} { return base-foc }
+	if {[have_spec x86]}     { return base-foc-pc }
+	if {[have_spec pbxa9]}   { return base-foc-pbxa9 }
+	if {[have_spec arndale]} { return base-foc-arndale }
 
 	global specs