alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

hw: support Wandboard Quad (i.MX6)

Browse Source 
The port uses the Cortex-A9 private timer for the kernel and an EPIT as
user timer. It was successfully tested on the Wandboard Quad and the CuBox-i
with the signal test. It lacks L2-cache and Trustzone support by now.

Thanks to Praveen Srinivas (IIT Madras, India) and  Nikolay Golikov (Ksys Labs
LLC, Russia). This work is partially based on their contributions.

Fix #1467
This commit is contained in:
Martin Stein
2015-03-25 19:30:37 +01:00
committed by Christian Helmuth
parent 4f887448c3
commit 60e392f0c0
13 changed files with 375 additions and 88 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
tool/create_builddir
View File

@@ -33,6 +33,7 @@ usage:
@echo " 'hw_imx53_qsb'"
@echo " 'hw_imx53_qsb_tz'"
@echo " 'hw_usb_armory'"
@echo " 'hw_wand_quad'"
@echo " 'hw_arndale'"
@echo " 'hw_odroid_xu'"
@echo " 'hw_rpi'"
@@ -237,6 +238,10 @@ hw_usb_armory::
@echo "SPECS = genode hw_usb_armory" > $(BUILD_DIR)/etc/specs.conf
@echo "SPECS += perf_counter" >> $(BUILD_DIR)/etc/specs.conf
hw_wand_quad::
@echo "SPECS = genode hw_wand_quad" > $(BUILD_DIR)/etc/specs.conf
@echo "SPECS += perf_counter" >> $(BUILD_DIR)/etc/specs.conf
hw_arndale::
@echo "SPECS = genode hw_arndale" > $(BUILD_DIR)/etc/specs.conf
@echo "SPECS += perf_counter" >> $(BUILD_DIR)/etc/specs.conf