genode/repos/base/mk/spec-arm_v5.mk

SPECS += arm

# add repository relative include paths
REP_INC_DIR += include/arm_v5

#
# Configure target CPU
#
CC_MARCH += -march=armv5

include $(call select_from_repositories,mk/spec-arm.mk)
Imported Genode release 11.11 2011-12-22 15:19:25 +00:00			`SPECS += arm`

base: memory barriers in lock implementations The memory barrier prevents the compiler from changing the program order of memory accesses in such a way that accesses to the guarded resource get outside the guarded stage. As cmpxchg() defines the start of the guarded stage it also represents an effective memory barrier. On x86, the architecture ensures to not reorder writes with older reads, writes to memory with other writes (except in cases that are not relevant for our locks), or read/write instructions with I/O instructions, locked instructions, and serializing instructions. However on ARM, the architectural memory model allows not only that memory accesses take local effect in another order as their program order but also that different observers (components that can access memory like data-busses, TLBs and branch predictors) observe these effects each in another order. Thus, a correct program order isn't sufficient for a correct observation order. An additional architectural preservation of the memory barrier is needed to achieve this. Fixes #692 2014-11-14 09:44:56 +00:00			`# add repository relative include paths`
			`REP_INC_DIR += include/arm_v5`

Imported Genode release 11.11 2011-12-22 15:19:25 +00:00			`#`
			`# Configure target CPU`
			`#`
Noux: update GCC to version 4.6.1 This patch updates GCC to version 4.6.1 and enables tool chain support for x86_64 and ARM. Fixes #266. 2012-07-03 10:56:25 +00:00			`CC_MARCH += -march=armv5`
Imported Genode release 11.11 2011-12-22 15:19:25 +00:00
			`include $(call select_from_repositories,mk/spec-arm.mk)`