denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

foc: Odroid-X2 basic support

Browse Source 
Fix #1597
This commit is contained in:
Alexy Gallardo Segura
2015-04-28 08:04:37 -04:00
committed by Norman Feske
parent c42e770384
commit c14fe7e6c7
19 changed files with 929 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
tool/create_builddir
View File

@@ -44,6 +44,7 @@ usage:
@echo " 'foc_panda'"
@echo " 'foc_arndale'"
@echo " 'foc_rpi'"
@echo " 'foc_odroid_x2'"
@echo " 'sel4_x86_32'"
@echo " 'lx_hybrid_x86'"
@echo
@@ -143,7 +144,7 @@ $(BUILD_DIR)/Makefile:
#
# Add 'ports-foc' repository to Fiasco.OC build directory
#
ifeq ($(filter-out foc_x86_32 foc_imx53 foc_pbxa9 foc_panda foc_arndale foc_rpi,$(PLATFORM)),)
ifeq ($(filter-out foc_x86_32 foc_imx53 foc_pbxa9 foc_panda foc_arndale foc_rpi foc_odroid_x2,$(PLATFORM)),)
$(BUILD_DIR)/etc/build.conf::
@cat $(BUILD_CONF).ports-foc >> $@
endif
@@ -159,7 +160,7 @@ endif
#
# Add ARM drivers repositories to ARM build directories
#
ifeq ($(filter-out foc_panda foc_arndale hw_panda hw_arndale hw_odroid_xu foc_imx53 foc_rpi,$(PLATFORM)),)
ifeq ($(filter-out foc_panda foc_arndale hw_panda hw_arndale hw_odroid_xu foc_imx53 foc_rpi foc_odroid_x2,$(PLATFORM)),)
$(BUILD_DIR)/etc/build.conf::
@cat $(BUILD_CONF).drivers_arm >> $@
endif
@@ -212,6 +213,9 @@ foc_arndale::
foc_rpi::
@echo "SPECS = genode foc_rpi" > $(BUILD_DIR)/etc/specs.conf
foc_odroid_x2::
@echo "SPECS = genode foc_odroid_x2" > $(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